]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3af56c5) | patch
s/per_user_settings/user_settings/ for consistency with gTopLevel
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 2 Apr 2004 12:20:14 +0000 (12:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 2 Apr 2004 12:20:14 +0000 (12:20 +0000)
commitf5863d4898e846ba097e7180f8f26095af95fdc8
tree260e9dafb81e0b687bb55dbc2586e5dfd04088c1tree | snapshot
parent3af56c5a48f7cad33fd701e0061fe143e0e2a7c5commit | diff
s/per_user_settings/user_settings/ for consistency with gTopLevel
configuration file
helm/http_getter/http_getter.conf.xml.sample diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.