]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f2444c) | patch
moved toplevel makefile to sfotware/
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:35:54 +0000 (15:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:35:54 +0000 (15:35 +0000)
commit58b4a55da40191b2a2aa14a7daa83639d5925243
tree332c5401a6295e98c8b70a2e45447a1d0d3d7438tree | snapshot
parent7f2444c2670cadafddd8785b687ef312158376b0commit | diff
moved toplevel makefile to sfotware/
Makefile [new file with mode: 0644] blob
Makefile.defs.in [new file with mode: 0644] blob
configure.ac [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.