chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson
last changeTue, 18 Aug 2015 07:44:44 +0000 (08:44 +0100)
shortlog
2015-08-18 Ian Jacksonlast minute update master
2015-08-17 Ian Jacksonpublication
2015-08-17 Ian Jacksontalk.ps
2015-08-16 Ian Jacksonfinished?
2015-08-16 Ian Jacksonupdate
2015-08-16 Ian Jacksonwip
2015-08-16 Ian Jacksonwip future fig
2015-08-16 Ian Jacksontalk.txt
2015-08-16 Ian Jacksontalk.txt
2015-08-16 Ian Jacksonxxxs
2015-08-13 Ian Jacksonadjust timing
2015-08-13 Ian Jacksonfinalise talk
2015-08-13 Ian Jacksonmore talk
2015-08-13 Ian Jacksonfuture mint ubuntu
2015-08-13 Ian Jacksonmanpage-clean.ps etc.
2015-08-13 Ian Jacksonwip
...
heads
22 months ago master