chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerWebSTUMP
last changeWed, 6 Jul 2022 14:23:50 +0000 (15:23 +0100)
shortlog
2022-07-06 Ian JacksonFix error with more recent perl master
2018-09-05 Ian Jacksontruncation: adjust limit, and fix handling so we can...
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...
...
heads
21 months ago master