diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-06-13 21:42:18 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-06-13 21:42:18 +0200 |
| commit | c54b17d14e57eb77093ec0006d2db5e9e3754902 (patch) | |
| tree | 09ca5cc2f06aa749efc04f6c033fc95f2ca6842b /coq/coq-syntax.el | |
| parent | 40ce93b55acf2a03f8455370694bff2205f9602d (diff) | |
small fix on hyp overlays.
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions