diff options
| author | David Aspinall | 2011-05-16 11:36:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-05-16 11:36:06 +0000 |
| commit | fa48979c5db352be0dd77f2e23ece8f89f204d3f (patch) | |
| tree | 73d15019685eb84a99dd5cb25ec3f9349a42f01f /pgshell | |
| parent | 5cd8b5d4cee6e408d155fdbe786774c060a12bad (diff) | |
Clean up customization groups for defpacustom and defpgcustom. See http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000115.html.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions