-
Sylvain Dailler authored
- change prefix "mk " into suffix "'mk" - change prefix "VC " into suffix "'VC"
08857a1e
To find the state of this project's repository at the time of any of these versions, check out the tags.
- change prefix "mk " into suffix "'mk" - change prefix "VC " into suffix "'VC"