• Sylvain Dailler's avatar
    fix #292 · 95dc27a6
    Sylvain Dailler authored
    Add an option in the preferences to disallow the automatic jump after a
    goal is completed. Jump can still be performed by calling next in command
    line.
    95dc27a6
To find the state of this project's repository at the time of any of these versions, check out the tags.
CHANGES.md 30.9 KB