chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson - midlevel account
last changeThu, 28 Jun 2018 17:10:41 +0000 (18:10 +0100)
shortlog
2018-06-28 Ian Jacksonfix ci master
2018-06-27 Ian Jacksonci-exper
2018-06-27 Ian Jacksonci-exper
2018-06-27 Ian Jacksonci-exper
2018-06-27 Ian Jacksonrunes
2018-06-20 Ian Jacksonrunes
2018-06-17 Ian Jacksonpretest-to-tested: print some times
2018-06-08 Ian Jacksonswap-pseudomerges: test program
2018-02-16 Ian Jacksonfilter-debrebase as used
2018-02-16 Ian Jacksonfilter-debrebase wip
2017-02-12 Ian Jacksonrunes
2017-01-06 Ian Jacksonbadcommit-fixup: Now in dgit repo
2017-01-06 Ian JacksonSUITES wip, found, experiments for distro suite name...
2017-01-06 Ian JacksonREADME.update: dgit-test-dummy is through NEW now
2017-01-05 Ian Jacksonbadcommit-fixup: remove some debug
2017-01-05 Ian Jacksonbadcommit-fixup: dummy add seems workingish
...
heads
5 months ago master