chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson
last changeFri, 24 Feb 2017 21:21:21 +0000 (21:21 +0000)
shortlog
2017-02-24 Ian Jacksonbetter master
2017-02-24 Ian Jacksonbefore abolish new
2017-02-24 Ian Jacksonwip new/old objs
2017-02-24 Ian Jacksonbefore new/old objs
2017-02-23 Ian Jacksonwip. infectionsness is wrong - should depend on object...
2017-02-23 Ian Jacksoncopied from email
heads
4 weeks ago master