chiark / gitweb /
informal - strengthen imprecation
-rw-r--r-- 3 .gitignore
-rw-r--r-- 1198 amend-propose
-rw-r--r-- 1659 informal-propose
-rw-r--r-- 585 numberfix-propose
-rw-r--r-- 1171 overrule-propose
-rw-r--r-- 2476 supermajority-propose