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 /INSTALL | |
parent | ccfc917a6a907c360ce68e8a8be5700428f48b96 (diff) |
small fix of face `coq-symbol-face'
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions