| commit | 6f35da3d93eb56eb25925779d235858d4090ce6f | [log] [tgz] |
|---|---|---|
| author | Michael Thomsen <mit@google.com> | Wed Oct 06 10:08:29 2021 +0200 |
| committer | GitHub <noreply@github.com> | Wed Oct 06 10:08:29 2021 +0200 |
| tree | 5e3f363262f262f9f36d0131335f6cf261472fc1 | |
| parent | 6338de25a09d098a62c9a1992c175e9ceb5b994a [diff] | |
| parent | 2a9821fd959aee96034bf4085cf91b7395b6b2e7 [diff] |
Merge pull request #137 from mit-mit/lic Document the origin of third_party files