• Jim Fulton's avatar
    Bug fixed: · 2d3d2ad1
    Jim Fulton authored
      Option incrementing and decrementing didn't work for options
      specified on the command line.
    2d3d2ad1
To find the state of this project's repository at the time of any of these versions, check out the tags.
CHANGES.txt 23.3 KB