Bram Moolenaar ab55f11d9b patch 8.2.2407: old jumplist code is never used ...

Problem:    Old jumplist code is never used.
Solution:   Delete the dead code. (Yegappan Lakshmanan, closes #7740)

2021-01-25 18:44:57 +01:00

36 KiB

Raw Blame History

View Raw