diff options
| author | David Aspinall | 2009-10-15 23:34:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-10-15 23:34:34 +0000 |
| commit | dda14160ec6a89fdf965d02a95ca9a111a2f756b (patch) | |
| tree | 9d750d8539392a0b6f102a4ff8f9a7d42519378e /etc | |
| parent | d7cfaa58b4dd75362d25ac928319a13e38acc2f2 (diff) | |
proof-script-use-old-parser: remove configuration option and cleanup
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions