]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ece3091) | patch
changed install target so that figures are instaled as well
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jun 2006 14:40:06 +0000 (14:40 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jun 2006 14:40:06 +0000 (14:40 +0000)
commitd526c11d120a7b5f7379f1d0b212947d13c4d4d6
treea4f1e4358787cb89b62d5d6756a6a2a482ed21f5tree | snapshot
parentece3091be1c4a6fec72992f87bcd56bef19c42decommit | diff
changed install target so that figures are instaled as well
matita/help/C/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.