diff options
| author | David Aspinall | 2000-09-20 14:41:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-20 14:41:34 +0000 |
| commit | 0234a74ccd612c7e9bfcbed6f26962a7098e34bb (patch) | |
| tree | 9e1dddb21c9e5a63fca5304843e077a4ea4294d4 /generic/proof-script.el | |
| parent | 86ea80368c620cec51a48fabe879ae213089185f (diff) | |
Disable toolbar enablers on win32.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions