-
Peter de Ridder authored
This commit improves the handling of leading zeros of numbers in file names. Previously, the order was not always predictable and was also often incorrect.
b501fe00
To find the state of this project's repository at the time of any of these versions, check out the tags.