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
4 days ago Ian Jacksonprobes: logfile for easy viewing master origin/master
4 days ago Ian Jacksonprobes: Move setting of info earlier
4 days ago Ian Jacksonprobes: Break out do-report-log
4 days ago WebSTUMPprobes: Fix "read message" for if the message is empty
5 days ago WebSTUMPprobe: set nullglob, so it works when disabled
5 days ago WebSTUMPMerge branch 'master' of /u/webstump/live/
6 days ago Ian Jacksonprobes: fixes
6 days ago Ian Jacksonprobes: start running it from cron, and some debugging
6 days ago Ian Jacksonprobes: fix forward
6 days ago Ian Jacksonprobes: receive
6 days ago Ian Jacksonprobes: started feature
6 days ago Ian Jacksonprobes: debugging, new report feature
6 days ago Ian Jacksonprobes: probe script can probe
6 days ago Ian Jacksonmodrelays-probe: wip
6 days ago Ian Jackson.gitignore: add some missing bits
2016-04-01 Ian Jacksonmanual-reinject: die if user has a ~/.signature
...
heads
4 days ago master