Select Git revision
release
Name | Last commit | Last update |
---|---|---|
.. | ||
arch | ||
docker | ||
extra | ||
resources | ||
scripts | ||
Makefile | ||
new_prerelease.sh | ||
new_version.sh | ||
set_release.sh |
Name | Last commit | Last update |
---|---|---|
.. | ||
arch | ||
docker | ||
extra | ||
resources | ||
scripts | ||
Makefile | ||
new_prerelease.sh | ||
new_version.sh | ||
set_release.sh |