diff options
| author | Hendrik Tews | 2021-03-22 22:04:31 +0100 |
|---|---|---|
| committer | Hendrik Tews | 2021-04-16 22:53:05 +0200 |
| commit | 2946b46433827cad19bc86364dbe077ea8b8a2e4 (patch) | |
| tree | 27bf9e27034ec0d92de560a7857b97f58727fd7c /Makefile.devel | |
| parent | c509eb17c1455972b967902a8ac34928717a8838 (diff) | |
fix omit proofs test for emacs <= 25
Work around the wrong order returned by `overlays-at' in
Emacs <= 25.
Diffstat (limited to 'Makefile.devel')
0 files changed, 0 insertions, 0 deletions