]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58b4a55) | patch
moved (dummy) dist stuff into software/matita/
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:36:53 +0000 (15:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:36:53 +0000 (15:36 +0000)
commit31eedfb7bef43a92231962a4322b8ebf59e186a7
treece7bc78755bc85427ad364f9310620b97bf50a14tree | snapshot
parent58b4a55da40191b2a2aa14a7daa83639d5925243commit | diff
moved (dummy) dist stuff into software/matita/
matita/dist/AUTHORS [new file with mode: 0644] blob
matita/dist/COPYING [new file with mode: 0644] blob
matita/dist/ChangeLog [new file with mode: 0644] blob
matita/dist/INSTALL [new file with mode: 0644] blob
matita/dist/README [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.