]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a19cfc) | patch
Repository fixing
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Nov 2000 13:06:54 +0000 (13:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Nov 2000 13:06:54 +0000 (13:06 +0000)
commit81214a3e858c8a883785e7b5df51bb79eba244e1
tree3a5bf3d9943db01677a83b8963df994d47e08dc2tree | snapshot
parent5a19cfcbebeb144bce8a9c397788641239fde570commit | diff
Repository fixing
12 files changed:
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/t1.config [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/t1lib.log [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.ps [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/Makefile [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/minidom.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/minidom.mli [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/ml_minidom.c [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/ml_minidom.h [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/test.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/test.opt [new file with mode: 0755] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/test.xml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/ml_gtk_mathview.c [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.