Tue, 07 Jan 2014 22:29:51 +0100 | Simon Heimberg | check-code: drop now unused check-code-ignore | changeset | files |
Tue, 07 Jan 2014 22:29:44 +0100 | Simon Heimberg | check-code: explain what to do when a check-code rule mismatches | changeset | files |
Tue, 07 Jan 2014 22:29:39 +0100 | Simon Heimberg | cleanup: Remove the only ever used skip-check-code pragma | changeset | files |