chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson
last changeFri, 4 Nov 2016 19:22:53 +0000 (19:22 +0000)
shortlog
2016-11-04 Ian JacksonREADME with final notes master
2016-11-04 Ian Jacksonstunt is abolished
2016-11-04 Ian Jacksonuse new git-check-ref-format
2016-11-04 Ian Jacksondpkg: undo memory leak
2016-11-04 Ian Jacksoninvoke: less drivel
2016-11-04 Ian Jacksoncheck: print totals
2016-11-04 Ian Jacksonparallel in invoke
2016-11-04 Ian Jacksongenerate: support K/N
2016-11-04 Ian Jacksonmin lengths too
2016-11-04 Ian Jacksonfix invocation lengths
2016-11-04 Ian Jacksoncheck better output smaller batches
2016-11-04 Ian Jacksonadd invoke
2016-11-04 Ian Jacksongenerate fixes
2016-11-04 Ian Jacksongenerate fixes
2016-11-04 Ian Jacksongenerate: 8 only, print more
2016-11-04 Ian Jacksoncheck: /var/run
...
heads
11 months ago master