-
Bodo Möller authored
This is now the case for RC5. As a side effect, the OPTIONS in the Makefile will usually look a little different now, but they are essentially only for information anyway.
c9a112f5
To find the state of this project's repository at the time of any of these versions, check out the tags.