]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e50c3f8) | patch
on the fly generation of distribution configure.ac
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 17:33:46 +0000 (17:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 17:33:46 +0000 (17:33 +0000)
commit8030f2baedc490edbe3c26ac3b4b5ed88408ddee
tree3db5b2637be1eaa4bd8f63f4dd1d61f1bae31728tree | snapshot
parente50c3f84e8d0e8274f1f09b00ef5081b658f3dafcommit | diff
on the fly generation of distribution configure.ac
Makefile diff | blob | history
matita/dist/configure.ac.sed [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.