]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23bc3ec) | patch
* removed email address
authorLuca Padovani <luca.padovani@unito.it>
Fri, 19 Dec 2003 09:34:20 +0000 (09:34 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 19 Dec 2003 09:34:20 +0000 (09:34 +0000)
commited9f5fc98f02239d1764be7d0bad32b99beb4f73
tree457b4f9b7509811c29b34aeee3f0b1088c0a35ebtree | snapshot
parent23bc3ec624eaf3051da7465002d33526df604898commit | diff
* removed email address
helm/uwobo-panel/control.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.