]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03e4026) | patch
Erroniously included (is a debian build process temp file)
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 May 2002 11:20:18 +0000 (11:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 May 2002 11:20:18 +0000 (11:20 +0000)
commit1d436be30286538d0ed824f53f2700b4fcd1bcbe
tree5a8ccae0135e7f1d543e4737f77b2d9c4a0d7dabtree | snapshot
parent03e4026f91a070bd3500e4c7b503dc2ebb6acd57commit | diff
Erroniously included (is a debian build process temp file)
helm/helmpot/debian/substvars [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.