diff options
| author | David Aspinall | 2008-08-05 21:10:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-08-05 21:10:11 +0000 |
| commit | a32ea995f7a5ef0edf07bbb58a7111a024264769 (patch) | |
| tree | ad22d2d04c605baa9bb9106eb565e788bd90df4e /generic/proof-unicode-tokens.el | |
| parent | 645db5b9ae375ac902a9b538a60a3858cf10d70d (diff) | |
unicode-tokens-initialise: initialise menu here too rather than at top level
Diffstat (limited to 'generic/proof-unicode-tokens.el')
0 files changed, 0 insertions, 0 deletions