]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7740566) | patch
makefile reworked to make debian package possible
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:13:22 +0000 (14:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:13:22 +0000 (14:13 +0000)
commitc31e50505b5afd8fb53236bd5d500c225471eb9a
tree50ef1042fc0c039781077c15fd42de951c595923tree | snapshot
parent77405663b295e36da4e322c6f8184a1d256f8b78commit | diff
makefile reworked to make debian package possible
Makefile diff | blob | history
components/Makefile diff | blob | history
matita/.depend.opt diff | blob | history
matita/Makefile diff | blob | history
matita/buildTimeConf.mli [deleted file] blob | history
matita/help/C/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.