commit | 796d237aaffbb690aaf44f5aa962f50578b485b7 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Fri May 19 12:15:10 2023 -0400 |
committer | GitHub <noreply@github.com> | Fri May 19 12:15:10 2023 -0400 |
tree | a2b7317239ba39708e8bba9806b9d3742bfe047f | |
parent | cfbf25b6aa192a721753d624c50c85f22793317c [diff] | |
parent | fb628b4e9071e24ab3e3ccc68fe4b43be4fbfb75 [diff] |
Merge pull request #95 from aiuto/longname fix handling of long-name
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.