diff options
| author | Pierre Courtieu | 2018-06-21 15:07:10 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2018-06-21 15:07:10 +0200 |
| commit | be6f66e3d4424b0dfbbbe3097a617aebb8aefca2 (patch) | |
| tree | e061410b9bf8ceae4cfb7fd0a23e10f9ed3fd6d3 /dev | |
| parent | e7b406fb8996b31a3283ed80f3e964ebe69b05ab (diff) | |
| parent | e8daea1c5f0ceb161ea1050698fcc8bb7e7cce17 (diff) | |
Merge PR #7842: Fix #7836: tools/inferior-coq.el uses next-line instead of forward-line.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions