]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 432ff09) | patch
as usual...
authorLuca Padovani <luca.padovani@unito.it>
Wed, 13 Feb 2002 20:01:44 +0000 (20:01 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 13 Feb 2002 20:01:44 +0000 (20:01 +0000)
commitbee3c0592788e5f030741485a9100d89196008f8
tree28293aef3656450c3fc5b44f2319415a764f59abtree | snapshot
parent432ff09217ee558843c7774dc6921bfae4e6d95bcommit | diff
as usual...
helm/mowgli/home/images/istbutton.gif [new file with mode: 0644] blob
helm/mowgli/home/images/istbutton_small.gif [new file with mode: 0644] blob
helm/mowgli/home/images/istdrop.gif [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.