Jonas Nick ad39e2dc41

build: change package version to 0.1.0-dev ...

The suffix -dev is slightly clearer.

Also, since the package version follows semantic versioning, rename
VERSION_BUILD to VERSION_PATCH for clarity.

2022-12-07 22:07:05 +00:00

..

release-process.md

build: change package version to 0.1.0-dev

2022-12-07 22:07:05 +00:00

safegcd_implementation.md

doc: Minor fixes in safegcd_implementation.md

2021-11-15 21:16:00 -06:00