summaryrefslogtreecommitdiff
path: root/demo/chat.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-05-19 11:38:14 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-05-19 11:38:14 -0400
commit94a502621b66ed9d982fef391912412259d27bc2 (patch)
treecdabb4857fe8bfe9f9fc2928036a4a2046fc92b0 /demo/chat.urs
parent2a2a9f56384d8914561d000d50b6b900ad474597 (diff)
More manual detail on registering error handlers
Diffstat (limited to 'demo/chat.urs')
0 files changed, 0 insertions, 0 deletions