diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:12:57 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:12:57 +0000 |
| commit | c48d00f6129e66047c4df261f776f4c8aaa49b0b (patch) | |
| tree | 909da041c1768b2109d6d59fbaea00be3e141dc5 /lib/bufhist.el | |
| parent | ba364c8e3347a775afba434a7aa4abeecd4d52d4 (diff) | |
isar-use-find-theorems-form: use defcustom, not defpacustom
isar-keywords-name: fix custom group
Diffstat (limited to 'lib/bufhist.el')
0 files changed, 0 insertions, 0 deletions