Add LICENSE
authorAdam Chlipala <adamc@hcoop.net>
Tue, 28 Sep 2004 13:20:38 +0000 (13:20 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Tue, 28 Sep 2004 13:20:38 +0000 (13:20 +0000)
commit75f720484b0d4d5f7513c97a1402b5c8f5548a37
tree5e549a68e29a38549aff85ce67b2f974793f039e
parentae2f7b3a09604e8ee53b0a9341b1983e4067b80c
Add LICENSE
LICENSE [new file with mode: 0644]