diff options
| author | David Aspinall | 1999-10-12 13:10:18 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-12 13:10:18 +0000 |
| commit | f032cc82573f4b447bf84c885e97d552e64d6bbd (patch) | |
| tree | 62c168538a40aa4587bb83369a20c7761606cc38 /html | |
| parent | f346e8294af0b27f44f17502f08c6e003ca73e6a (diff) | |
Added proof-toolbar-use-enablers setting, and automatically
disable enablers if < XEmacs 21.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions