diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:48:43 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:48:43 +0000 |
commit | 5e867b61855e551994ab17a4a0fb21c04fab6503 (patch) | |
tree | 1ee487ed664f40e7d6d4f652a34014b7d5fa83bb /coq/coq-unicode-tokens.el | |
parent | 8201ac7d4e126631ac7f28519195184e21454791 (diff) |
Use extended form of define-minor-mode
Diffstat (limited to 'coq/coq-unicode-tokens.el')
0 files changed, 0 insertions, 0 deletions