chiark / gitweb /
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson
last changeSun, 26 Feb 2012 00:41:51 +0000 (00:41 +0000)
2012-02-26 Ian Jacksonfix a few bugs in THEORY master
2012-02-26 Ian Jacksonupdate some docs for new metadata/theory
2012-02-26 Ian Jacksonremove spurious debug; fixes
2012-02-26 Ian Jacksonlist works again
2012-02-26 Ian Jacksoncreate works again
2012-02-25 Ian Jacksonwip new metadata
2012-02-25 Ian Jacksonworking on updates for new theory/metadata
2012-02-22 Ian Jacksondo not tolerate tb metadata in foreign branches
2012-02-22 Ian JacksonMove old update algorith, which is very wrong according...
2012-02-22 Ian Jacksonremove old "calculate included patches in topgit branch...
2012-02-22 Ian Jacksonpatch mgmt thoughts
2012-02-22 Ian JacksonNew theory, new metadata
2012-02-22 Ian Jacksonnew THEORY, define inpatch
2012-02-22 Ian Jacksonnew THEORY, proved
2012-02-22 Ian Jacksonbefore NEW THEORY
2012-02-08 Ian Jacksonwip theory
12 years ago master