]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0aebb7) | patch
added support for unload and reload of predefined stylesheets
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 9 Oct 2002 12:19:42 +0000 (12:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 9 Oct 2002 12:19:42 +0000 (12:19 +0000)
commit240d80537fb60d137f6e7e9d8959fde4602f9fc2
tree5707291ffbb78a233144ddb17b07631bd0aa37a2tree | snapshot
parentb0aebb7a1d44224e31ce9c00b9dab088500301a9commit | diff
added support for unload and reload of predefined stylesheets
helm/scripts/init.d/loadPredefinedStylesheets.pl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.