diff options
author | Andres Erbsen <andreser@mit.edu> | 2016-06-25 19:16:34 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2016-06-25 19:16:34 -0400 |
commit | 4360c60205d379f349cbfc6e8c0a691a0a4d45fc (patch) | |
tree | f3ee7e1c73fe8482f4a76b1c7f7c976db1b6e105 /to_gallina.md | |
parent | 2e96e2cab74d00b40188b00a4e90eeeaa1c46706 (diff) |
update licensing information
Diffstat (limited to 'to_gallina.md')
0 files changed, 0 insertions, 0 deletions