diff options
author | 1998-12-10 10:59:30 +0000 | |
---|---|---|
committer | 1998-12-10 10:59:30 +0000 | |
commit | bb29430d1c69ae8ae19127c8ea338b3070139e9d (patch) | |
tree | 07b99d25d61a3824640b76000916bb4cade07889 /generic/proof.el | |
parent | 64810e77133470531a3423c383fee9209cf652f2 (diff) |
Changed name of proof-toolbar-inhibit variable for uniformity.
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions