chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerWebSTUMP
last changeWed, 5 Sep 2018 13:53:23 +0000 (14:53 +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
2016-04-01 Ian Jacksoninews: Add %ABBREV% to "lost" messages
2015-12-13 WebSTUMPchange ulm -> uram in output (so we refer to the uram...
2015-12-13 WebSTUMPoff-topic should refer to radio not legal material
2014-10-06 WebSTUMPMerge branch 'master' of /u/webstump/live-mtm
2014-10-06 Ian Jacksoninstall-substitutions: insist on webstump 022
2014-10-06 Ian JacksonMerge remote branch 'mtm/master'
2014-10-06 Ian Jacksonremove save-* from index only
2014-10-06 Ian Jacksonstump/etc/procmail/save-approved,-rejected: add to... mtm/master
2014-10-06 Ian Jacksonstump/etc/procmail/save-approved,-rejected: substitute...
2014-10-06 Ian Jacksonstump/etc/procmail/save-approved,-rejected: remove...
...
heads
6 weeks ago master