Devlogs
Posted December 26, 2022 by Diego Ramirez
#release
Heads up folks! Release 3.1.0 is here!
This minor release added a new downloadable dist: a version-controlled HTML. Please check out GitHub issue #104 for a full changelog.