Skip to content

v1.4.0

Compare
Choose a tag to compare
@philsquared philsquared released this 25 Apr 18:03
· 3126 commits to devel since this release

Unique names are generated using COUNTER, where possible, to make them unique even across translation units.
The --use-colour command line argument has been added to given finer control over how colour is used

  • various other bug fixes and documentation corrections.