]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db8cb29) | patch
added clickable fingers
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 8 Apr 2005 15:52:16 +0000 (15:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 8 Apr 2005 15:52:16 +0000 (15:52 +0000)
commita2af27c3ea450b0a1c60c5f8b7fed2818cc292e4
treec3201ff9f633a4fb503a60da2b5d38e388705c8ftree | snapshot
parentdb8cb29c71b8a7203e1038223e39cfc349671aa7commit | diff
added clickable fingers
helm/searchEngine/html/moogle_init.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.