chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson
last changeFri, 13 Jul 2012 02:45:23 +0000 (03:45 +0100)
shortlog
2012-07-13 Ian Jacksonsupermajority - fix spelling master
2012-07-13 Ian Jacksoninformal: counterproductive
2012-07-13 Ian Jacksoncall them supermajorities
2012-07-13 Ian Jacksonadd existing constitution from web page
2012-07-10 Ian Jacksoninformal - strengthen imprecation
2012-07-09 Ian Jacksonnumberfix use A.0
2012-07-09 Ian Jacksonsupermajority experimental
2012-07-09 Ian Jacksonremove slowness
2012-07-09 Ian Jacksonfix typo
2012-07-09 Ian Jacksonadd cite
2012-07-09 Ian Jacksongitignore
2012-07-09 Ian Jacksoninitial
heads
5 years ago master