/scripts/
drwxr-xr-x [up]
-rw-r--r-- 2006-10-17 11:02 +0000 1 DO-NOT-PLAY-WITH-release
-rwxr-xr-x 2006-10-17 11:02 +0000 1883 check-compilers
-rwxr-xr-x 2006-10-17 11:02 +0000 997 check-tarball-integrity
-rwxr-xr-x 2006-10-17 11:02 +0000 74 make-snapshot
-rwxr-xr-x 2006-10-17 11:02 +0000 2299 release
-rwxr-xr-x 2006-10-17 11:02 +0000 1886 rpmbuild-glpk
-rwxr-xr-x 2006-10-17 11:02 +0000 213 see-deps
-rwxr-xr-x 2006-10-17 11:02 +0000 882 update-copyright-header
-rwxr-xr-x 2006-10-17 11:02 +0000 217 update-libstd-tag