javier
released this
2023-08-13 22:32:13 +00:00
| 1 commits to main since this release
This release contains the work done to fix the generated Github Pages documentation, as the base path and the documentation URL were not properly defined.
Downloads