-
Vladimír Čunát authored
We don't use it anymore, and on some systems it's apparently not an integer.
To find the state of this project's repository at the time of any of these versions, check out the tags.
We don't use it anymore, and on some systems it's apparently not an integer.