diff options
| author | David Aspinall | 1999-11-12 16:33:52 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-12 16:33:52 +0000 |
| commit | b23714933f1ad2c5e026b083771c479b65eecffa (patch) | |
| tree | 9809b66d024c0d241be29e03f424d1f8952d1fc9 /doc/docstring-magic.el | |
| parent | 0d96b563682ca5e25d380e25f0e0948db7ae16d9 (diff) | |
Set font-lock-keywords before calling proof-config-done.
Diffstat (limited to 'doc/docstring-magic.el')
0 files changed, 0 insertions, 0 deletions