chiark / gitweb /
 
descriptionUnnamed repository; edit this file to name it for gitweb.
ownerWebSTUMP
last changeWed, 5 Sep 2018 13:45:00 +0000 (14:45 +0100)
shortlog
2018-09-05 Ian Jacksontruncation: adjust limit, and fix handling so we can... master
2018-09-05 Ian Jacksontruncation: include header name in warning header
2018-09-05 Ian Jacksonunfolding: do not introduce additional lwsp
2018-09-05 Ian Jacksonunfolding: exempt References
2018-08-27 Ian Jacksonstrip out some system headers, caused trouble during...
2018-08-27 Ian Jacksonheader unfolding
2017-10-12 Ian Jacksonprobes: logfile for easy viewing
2017-10-12 Ian Jacksonprobes: Move setting of info earlier
2017-10-12 Ian Jacksonprobes: Break out do-report-log
2017-10-12 WebSTUMPprobes: Fix "read message" for if the message is empty
2017-10-11 WebSTUMPprobe: set nullglob, so it works when disabled
2017-10-11 WebSTUMPMerge branch 'master' of /u/webstump/live/
2017-10-10 Ian Jacksonprobes: fixes
2017-10-10 Ian Jacksonprobes: start running it from cron, and some debugging
2017-10-10 Ian Jacksonprobes: fix forward
2017-10-10 Ian Jacksonprobes: receive
...
heads
3 months ago master