diff options
| author | David Aspinall | 1998-10-12 15:29:08 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 15:29:08 +0000 |
| commit | 83bdadc87ab58aceb9cb66171b88a263243621c5 (patch) | |
| tree | ed5450236c2ff878e98c165cc5b4a723cd1960ca /etc/ProofGeneral.patch | |
| parent | 776d01db943c1cd29c87d5a20051b4495f649897 (diff) | |
Removed toolbar enablers. XEmacs isnt ready for them yet.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions