Add LICENSE
authorAdam Chlipala <adamc@hcoop.net>
Sun, 30 Jul 2006 15:51:49 +0000 (15:51 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 30 Jul 2006 15:51:49 +0000 (15:51 +0000)
commit680ad350b54865e1cc5643bb1ec4e7b762781f18
tree0d746a4bdf2b69401b1b9579f299635f9c2bc41e
parentdac62e84b324d2187ec9b9882efa47125d5599a4
Add LICENSE
LICENSE [new file with mode: 0644]