]> matita.cs.unibo.it Git - helm.git/commit
- moved here respond_exc and respond_msg from broker/
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:10:34 +0000 (09:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:10:34 +0000 (09:10 +0000)
commit5a666b3edf51534f2f41f4bd27e6678ed5a05340
tree83852fc5ed2f9984d62c78d7218240ba8b7c46c8
parentfc35d20e4e84902183ffbd4d903cdd55297eedfc
- moved here respond_exc and respond_msg from broker/
helm/hbugs/common/hbugs_messages.ml
helm/hbugs/common/hbugs_messages.mli