]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 936c8f3) | patch
DRAW_GRAPH_PORT environment variable added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Oct 2002 09:37:47 +0000 (09:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Oct 2002 09:37:47 +0000 (09:37 +0000)
commit879b11ccf58f73a0a94ddf53266726a17a94952e
treefb5c534ae5c9647225810c967ab4e78f97fcf16ftree | snapshot
parent936c8f34a471e6a690607f81bce88fc2bc0fff17commit | diff
DRAW_GRAPH_PORT environment variable added
helm/graphs/tools/draw_graph.cgi diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.