chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson
last changeMon, 30 Jul 2018 03:41:17 +0000 (04:41 +0100)
shortlog
2018-07-30 Ian Jacksonadjust for printing master
2018-07-30 Ian Jacksonfor-printing
2018-07-30 Ian Jacksondc inkjet cuts parts off
2018-07-30 Ian Jacksoncombine rules nfc
2018-07-30 Ian Jacksonfor printing
2018-07-30 Ian Jacksondemo.txt is email from sean
2018-07-29 Ian Jacksonmention convert-from-gbp
2018-07-29 Ian Jacksonmove demo to near the end
2018-07-29 Ian Jacksontalk: mention docs updates
2018-07-29 Ian Jacksonuse unstable url for (7) manpage
2018-07-29 Ian Jacksonfonts 3
2018-07-29 Ian Jacksonfonts 2
2018-07-29 Ian Jacksonwip fonts 2
2018-07-29 Ian Jacksonfonts
2018-07-29 Ian Jacksonlast extra slide now done
2018-07-29 Ian Jacksonfix missing <1.2| tag annotation
...
heads
4 months ago master