]> matita.cs.unibo.it Git - helm.git/commit - helm/Makefile
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3773eb) | patch
added (placeholder) distribution stuff for matita
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 10:47:22 +0000 (10:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 10:47:22 +0000 (10:47 +0000)
commit6355ac16ff3996e16d9d9cfb08e4184bc7962f8b
treec0a11db8c4dbe08ec13ebb18e787d1b02ddf32dctree | snapshot
parentf3773eb1aa9de29abcc9ec9726171d57be88c25acommit | diff
added (placeholder) distribution stuff for matita
helm/Makefile diff | blob | history
helm/dist/AUTHORS [new file with mode: 0644] blob
helm/dist/COPYING [new file with mode: 0644] blob
helm/dist/INSTALL [new file with mode: 0644] blob
helm/dist/README [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.