]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40d69bb) | patch
- added support for environment specified log file using variable
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 15 Mar 2003 18:52:50 +0000 (18:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 15 Mar 2003 18:52:50 +0000 (18:52 +0000)
commitd6cb4446b6c5653dcdfb555959e388ef1c4c6411
tree69249bf7396eb4980e75d38263357496ea8518f2tree | snapshot
parent40d69bb0d68b6da47c625cca9c276fa19d6cc3aacommit | diff
- added support for environment specified log file using variable
  UWOBO_LOG_FILE
helm/uwobo/uwobo.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.