diff options
| author |  stardiviner <numbchild@gmail.com> | 2018-04-17 15:47:17 +0800 |
|---|---|---|
| committer | stardiviner <numbchild@gmail.com> | 2018-04-22 06:18:48 +0800 |
| commit | 10a17a7142474a392427d600ef3f0eaa7bc0f478 (patch) | |
| tree | 41715de81242c66f303508bb2e7734d0ab6334da /CHANGES | |
| parent | ccfc917a6a907c360ce68e8a8be5700428f48b96 (diff) | |
small fix of face `coq-symbol-face'
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions