]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a7dd5f) | patch
- die on CTRL-C or init.d/... stop instead of resurrecting
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 19 May 2005 09:39:51 +0000 (09:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 19 May 2005 09:39:51 +0000 (09:39 +0000)
commit6bc7eb234bb3a9d015537a75a84f4ce029b41516
tree552a1c3b9067923abcb478246b0ea4ae35a6dff3tree | snapshot
parent4a7dd5f16ad7a3ac176c0650580f736ae73f373dcommit | diff
- die on CTRL-C or init.d/... stop instead of resurrecting
- added (commented) debugging code to save xml document
helm/uwobo/uwobo.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.