diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2018-03-07 09:06:44 -0500 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2018-03-07 09:06:44 -0500 |
commit | e1b3efb8e8ace78af9a0459318a927a28574c92e (patch) | |
tree | def7d96a776f06d6ee7e1df53366e72ecf1f209a /coq | |
parent | 23e480368e6952e10c084b627f7e39c60e0daf02 (diff) |
Add a missing parameter in advice on font-lock-fontify-keywords-region
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions