diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-12-31 10:48:50 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-12-31 10:48:50 -0500 |
| commit | e0bc70d2a6b6c524889a820c6eeba20f616bcc44 (patch) | |
| tree | dd51380503e766cd884b80e79066fde7d0455cd7 /LICENSE | |
| parent | b6eff4f490ecaf4ba0b4dabb8aab50b6a2227504 (diff) | |
New release
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions