diff options
author | Tej Chajed <tchajed@users.noreply.github.com> | 2016-08-25 14:02:04 -0400 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-08-25 14:02:04 -0400 |
commit | 64ca55b1593fff8cfffab89c51d7e92c1a68dc27 (patch) | |
tree | 8881ce3873454b50e36fbb26307e1523f8f9a707 /coq/coq-syntax.el | |
parent | a7c5e29ba9a6364e851fd4aa0924395c59cb324e (diff) |
Ensure PG overlays have pg-span property (#98)
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions