diff options
| author | David Aspinall | 2004-04-13 22:21:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-13 22:21:07 +0000 |
| commit | 68f5ce64c1d2faa65360da33e947b00a5673e97b (patch) | |
| tree | b4e7e3f359424c1ac728b933c3bafef4db7a227d /generic/proof-utils.el | |
| parent | 0fa55a1639c8fd44b04eb164797bfb5032efca53 (diff) | |
Abstract out proof-maybe-askprefs
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions