chiark / gitweb /
server/admin.c: Remove spurious `ping' in usage message.
[tripe] / py / rmcr.py
2020-05-25 Mark WoodingMerge branch '1.0.0pre19.x'
2019-09-22 Mark WoodingMerge remote-tracking branch 'origin/1.0.0pre19.x'
2018-06-14 Mark Wooding(Python): Use more modern `raise' syntax.
2018-06-14 Mark WoodingUpgrade licence to GPLv3+.
2010-05-15 Mark Woodingpy/rmcr.py: Handle stray exceptions from coroutines...
2010-05-08 Mark Woodingpy/rmcr.py: More useful diagnostics for uncaught except...
2010-04-19 Mark Woodingpy: New Python module for writing services and suchlike