release-tools: More precise extraction of version number, avoiding fips version
[tools.git] / release-tools /
drwxr-xr-x   ..
-rw-r--r-- 5982 MKRELEASE.md
-rw-r--r-- 11800 README.md
-rwxr-xr-x 1164 do-copyright-year
-rw-r--r-- 6312 do-release.pl
-rw-r--r-- 12593 mkrelease.pl
-rw-r--r-- 6101 release-check.pl
-rw-r--r-- 1911 release-date.pl
-rw-r--r-- 4718 release-git.pl
-rw-r--r-- 4295 release-update.pl
-rw-r--r-- 5618 release-version.pl