commit | bb6f02d8ce7e51587e600671d41e801960d16bf1 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Tue Mar 21 17:54:52 2023 -0400 |
committer | GitHub <noreply@github.com> | Tue Mar 21 17:54:52 2023 -0400 |
tree | 3549ce509eb6a811857afc02aa2db6b904ad7f01 | |
parent | ad97c7dcf0df30e7a9e9337d13b42fffca8fb962 [diff] | |
parent | 9a2d1a2877d827cb2d62ca49d1da6c38dacc7733 [diff] |
Merge pull request #84 from aiuto/i68 Allow license_text to be a normal label.
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.