]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ca749a) | patch
xxx
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 14 Nov 2007 22:36:35 +0000 (22:36 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 14 Nov 2007 22:36:35 +0000 (22:36 +0000)
commitea8ddf1f729c60d4eee6c659b179d9b77b6ec241
treeebe20ea00be1f6b14890473508aaafa97c4d0104tree | snapshot
parent1ca749a387695a5a4abc138a06de496a63abac4acommit | diff
xxx
helm/software/pkg-matita/trunk/debian/TODO [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.