]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc49a04) | patch
- bugfix: display exit message only when uwobo master process exits
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:41:38 +0000 (15:41 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:41:38 +0000 (15:41 +0000)
commit75b23fd15585bd15f2ab0f460bdf1deeba730c0e
treeba3acc7d7ec30e713029382dfd53326f97a1c414tree | snapshot
parentbc49a044b3f9e54e7f696773262db0657d07af82commit | diff
- bugfix: display exit message only when uwobo master process exits
- bumped log level to `Notice
helm/uwobo/src/ocaml/uwobo.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.