]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a61e244) | patch
* setpassword passwords swapped
authorLuca Padovani <luca.padovani@unito.it>
Thu, 27 May 2004 11:08:21 +0000 (11:08 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 27 May 2004 11:08:21 +0000 (11:08 +0000)
commit9c1286710e47652a4e070bcfc6b39b7303f069f9
tree6ad075f356b70e7c359a64f7ddcc2788276ca671tree | snapshot
parenta61e244b4cb630f95bed9b1f542df3b5800594b0commit | diff
* setpassword passwords swapped
helm/uwobo/uwobo.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.