]> matita.cs.unibo.it Git - helm.git/commit
added env var DRAW_GRAPH_DIR
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 20 Nov 2002 16:32:26 +0000 (16:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 20 Nov 2002 16:32:26 +0000 (16:32 +0000)
commit22768ba8f9d3b90daa0e1711b8703235d2733eb4
treeb1837580d5ebefb7e2811c1fc22738122244b085
parent74b066524fed3d838137fd17c2abdb3d4544d824
added env var DRAW_GRAPH_DIR
helm/scripts/template.cshrc
helm/scripts/template.rc