diff options
| author | David Aspinall | 2009-09-07 09:43:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-07 09:43:51 +0000 |
| commit | 761e0293dacf9ada82ca90196bbdb8790b133352 (patch) | |
| tree | 75af11e52d4b0b2d27bf31bd40716578e69ed99a /lib | |
| parent | e7876648dfaf463fe4a59830e6243a1fb9118fad (diff) | |
Revert change in 10.26 to use defpacustom after all, this gives
the prover-specific menu entry automatically. Fix compiler warning
with a defvar.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions