1. 20 Sep, 2017 1 commit
  2. 19 Sep, 2017 1 commit
  3. 07 Sep, 2017 2 commits
  4. 29 Aug, 2017 2 commits
  5. 24 Aug, 2017 2 commits
  6. 23 Aug, 2017 4 commits
  7. 08 Aug, 2017 6 commits
  8. 28 Jul, 2017 2 commits
  9. 24 Jul, 2017 2 commits
  10. 21 Jul, 2017 2 commits
  11. 19 Jul, 2017 1 commit
  12. 12 Jul, 2017 1 commit
  13. 01 Jul, 2017 4 commits
  14. 26 Jun, 2017 2 commits
  15. 22 Jun, 2017 1 commit
    • David Thompson's avatar
      Accept a baseline with a different point size. · 3da0dbb8
      David Thompson authored
      If it makes a difference, the new image was generated on a machine
      attached to a "retina" display, which may explain the difference.
      The default point size on this machine appears to be 8, but the
      "-dr" flag would eliminate that if it were a user preference, right?
      3da0dbb8
  16. 20 Jun, 2017 2 commits
  17. 13 Jun, 2017 3 commits
  18. 12 Jun, 2017 2 commits