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