chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson
last changeFri, 29 Aug 2014 17:56:41 +0000 (18:56 +0100)
shortlog
2014-08-29 Ian Jacksonwrap master
2014-08-29 Ian Jacksonnotes from session written up in gobby
2014-08-28 Ian Jacksonmake install
2014-08-28 Ian Jacksonimprovements
2014-08-28 Ian Jacksontitle
2014-08-28 Ian Jacksontitle
2014-08-28 Ian Jacksonboth slide
2014-08-28 Ian Jacksonbefore reorg
2014-08-28 Ian Jacksonwip Makefile etc.
2014-08-28 Ian Jacksonwip
2014-08-28 Ian Jacksonwip
heads
2 years ago master