]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec7900e) | patch
ominidom.cmi not installed by Makefile
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Nov 2000 15:50:08 +0000 (15:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Nov 2000 15:50:08 +0000 (15:50 +0000)
commit48251720121a3eeaa444a5488e2f7b0db82cb380
tree2d20313c93a14e42dff753bccf4fda0ed37cf195tree | snapshot
parentec7900ebc4b63319255164860415dfb1a26eeb53commit | diff
ominidom.cmi not installed by Makefile
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.