]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5607af6) | patch
added patch for the configuration file
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 28 Oct 2007 13:49:42 +0000 (13:49 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 28 Oct 2007 13:49:42 +0000 (13:49 +0000)
commit709994143bff1a77545b4dc0e3d7d22894e92a09
treea96faaf1af372320785ed214c1309607b52fcb44tree | snapshot
parent5607af6fdc2f4a42edec3318545cbd0ae805ca71commit | diff
added patch for the configuration file
helm/software/pkg-matita/trunk/debian/compat [new file with mode: 0644] blob
helm/software/pkg-matita/trunk/debian/control diff | blob | history
helm/software/pkg-matita/trunk/debian/patches/00dpatch.conf [new file with mode: 0644] blob
helm/software/pkg-matita/trunk/debian/patches/00list [new file with mode: 0644] blob
helm/software/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch [new file with mode: 0755] blob
helm/software/pkg-matita/trunk/debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.