]> matita.cs.unibo.it Git - helm.git/commit
- Uwobo ported to Helm_registry
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Feb 2004 21:42:29 +0000 (21:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Feb 2004 21:42:29 +0000 (21:42 +0000)
commiteb2087113bfcb483bceb69d37d0e28a429a81b3e
treef48ccf261ac57fcce8e027493e75e51c23ad9036
parent7b6b8b44d208bacd19589abbef86b95f6975e88e
- Uwobo ported to Helm_registry
- Environment variables used only by loadPredefinedStylesheets.pl moved from
  template.* to etc_default_helm_mowgli
helm/scripts/init.d/etc_default_helm_mowgli
helm/scripts/init.d/loadPredefinedStylesheets.pl
helm/scripts/template.cshrc
helm/scripts/template.rc