chiark / gitweb /
 
descriptionUnnamed repository; edit this file to name it for gitweb.
ownerWebSTUMP
last changeWed, 6 Jul 2022 14:02:25 +0000 (15:02 +0100)
shortlog
2022-07-06 Ian JacksonMerge branch 'master' of /u/webstump/live/ master
2022-07-06 Ian JacksonFix error with more recent perl origin/HEAD origin/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-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
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
...
heads
19 months ago master
9 years ago testing