commit | 3b6782896db4fe76e946b7c104ae279f27c66419 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Wed Sep 13 10:11:15 2023 -0400 |
committer | GitHub <noreply@github.com> | Wed Sep 13 10:11:15 2023 -0400 |
tree | af10b69a4dd6de36534b784241a333e14b9218e0 | |
parent | 608c67e48dfc448ff0ba965162b84b50a718d76b [diff] | |
parent | bc2ad57e618a4917d2ea4122e56866048f0a137c [diff] |
Merge pull request #108 from mering/fix-path-in-doc Fix path in usage comment
This repository contains a set of rules and tools for
WARNING: The code here is still in active initial development and will churn a lot.
If you want to follow along:
Background reading: These is for learning about the problem space, and our approach to solutions. Concrete specifications will always appear in checked in code rather than documents.