chiark / gitweb /
server: Option `-F' to run the server in the `foreground'.
[tripe] / mon / tripemon.in
2008-12-08 Mark Woodingpython: Replace sre by plain re.
2007-07-11 Mark WoodingUse the new official IANA-allocated port number 4070.
2007-01-28 Mark Woodingcleanup: Whitespaces fixes, left right and centre.
2007-01-11 Mark Woodingdoc: Fix distribution of generated manpages.
2006-12-30 Mark WoodingGreat reorganization.