chiark / gitweb /
numberfix use A.0
-rw-r--r-- 3 .gitignore
-rw-r--r-- 1198 amend-propose
-rw-r--r-- 1584 informal-propose
-rw-r--r-- 585 numberfix-propose
-rw-r--r-- 1171 overrule-propose
-rw-r--r-- 2476 supermajority-propose