1. 04 Apr, 2019 2 commits
  2. 02 Apr, 2019 1 commit
  3. 01 Apr, 2019 7 commits
  4. 31 Mar, 2019 1 commit
    • 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
  5. 30 Mar, 2019 1 commit
  6. 29 Mar, 2019 3 commits
  7. 28 Mar, 2019 2 commits
  8. 27 Mar, 2019 5 commits
  9. 26 Mar, 2019 5 commits
  10. 25 Mar, 2019 9 commits
  11. 22 Mar, 2019 1 commit
  12. 21 Mar, 2019 3 commits