diff options
| author | Perry E. Metzger | 2018-06-16 15:47:47 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-06-16 15:47:47 +0200 |
| commit | e8daea1c5f0ceb161ea1050698fcc8bb7e7cce17 (patch) | |
| tree | cc861a5f0eb87c03c2b6bae53ed29935f8f6363a /dev/ci | |
| parent | f2e2d1d9f00ab731bd2bbe1dd57d685ac5024204 (diff) | |
Fix #7836: tools/inferior-coq.el uses next-line instead of forward-line.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions