chiark / gitweb /
 
descriptionUnnamed repository; edit this file to name it for gitweb.
ownerWebSTUMP
last changeThu, 12 Oct 2017 17:42:23 +0000 (18:42 +0100)
shortlog
2017-10-12 Ian Jacksonprobes: logfile for easy viewing master origin/master
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
2017-10-10 Ian Jacksonprobes: started feature
2017-10-10 Ian Jacksonprobes: debugging, new report feature
2017-10-10 Ian Jacksonprobes: probe script can probe
2017-10-10 Ian Jacksonmodrelays-probe: wip
2017-10-10 Ian Jackson.gitignore: add some missing bits
2016-04-01 Ian Jacksonmanual-reinject: die if user has a ~/.signature
...
heads
8 weeks ago master