]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ea1fdf) | 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)
commit211cd0ac98d67f185b867bbec6b20d086a6b183d
treed135dc68c9c0f1d416e723f704d7334c076e4f89tree | snapshot
parent5ea1fdf1437721b026eec65b6002d2c7688630f3commit | diff
added patch for the configuration file
pkg-matita/trunk/debian/compat [new file with mode: 0644] blob
pkg-matita/trunk/debian/control diff | blob | history
pkg-matita/trunk/debian/patches/00dpatch.conf [new file with mode: 0644] blob
pkg-matita/trunk/debian/patches/00list [new file with mode: 0644] blob
pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch [new file with mode: 0755] blob
pkg-matita/trunk/debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.