commit | 39d9f429b563478e1c16fb0f938d178ccf4c3fd3 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Thu Oct 19 14:32:49 2023 -0400 |
committer | GitHub <noreply@github.com> | Thu Oct 19 14:32:49 2023 -0400 |
tree | 9da1c5b8b5d97ad3229eb34e4d5f5ee84d7413eb | |
parent | 3b6782896db4fe76e946b7c104ae279f27c66419 [diff] | |
parent | 740c6005e3bf2dd6a8ef013deda44b10947b1705 [diff] |
Merge pull request #118 from mering/remove-deprecated-arg Remove deprecated argument
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.