summaryrefslogtreecommitdiff
path: root/src/core_env.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-03-19 16:34:13 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-03-19 16:34:13 -0400
commit9e730b9a1aa4db311088a355e7e8601c6a998467 (patch)
tree286b56b8fe24a04c3c2a26f13d6fdc9c845d7452 /src/core_env.sig
parent1f530c51813cbeee1b166e5e75058eacb313f306 (diff)
Dummy message delivery to clients
Diffstat (limited to 'src/core_env.sig')
0 files changed, 0 insertions, 0 deletions