chiark / gitweb /
technical-committee-grs.git
12 years agonumberfix use A.0
Ian Jackson [Mon, 9 Jul 2012 18:22:14 +0000 (19:22 +0100)]
numberfix use A.0

12 years agosupermajority experimental
Ian Jackson [Mon, 9 Jul 2012 17:50:27 +0000 (18:50 +0100)]
supermajority experimental

12 years agoremove slowness
Ian Jackson [Mon, 9 Jul 2012 17:41:30 +0000 (18:41 +0100)]
remove slowness

12 years agofix typo
Ian Jackson [Mon, 9 Jul 2012 17:17:30 +0000 (18:17 +0100)]
fix typo

12 years agoadd cite
Ian Jackson [Mon, 9 Jul 2012 03:36:53 +0000 (04:36 +0100)]
add cite

12 years agogitignore
Ian Jackson [Mon, 9 Jul 2012 03:03:39 +0000 (04:03 +0100)]
gitignore

12 years agoinitial
Ian Jackson [Mon, 9 Jul 2012 03:03:22 +0000 (04:03 +0100)]
initial