/scripts/
drwxr-xr-x [up]
drwxr-xr-x server-services
-rw-r--r-- 2007-12-29 15:11 +0000 1 DO-NOT-PLAY-WITH-release
-rwxr-xr-x 2007-12-29 15:11 +0000 2095 autopackage-glpk
-rwxr-xr-x 2007-12-29 15:11 +0000 1862 check-compilers
-rwxr-xr-x 2007-12-29 15:11 +0000 997 check-tarball-integrity
-rwxr-xr-x 2007-12-29 15:11 +0000 74 make-snapshot
-rwxr-xr-x 2007-12-29 15:11 +0000 2315 release
-rwxr-xr-x 2007-12-29 15:11 +0000 1138 rename-graphs
-rwxr-xr-x 2007-12-29 15:11 +0000 1868 rpmbuild-glpk
-rwxr-xr-x 2007-12-29 15:11 +0000 213 see-deps
-rwxr-xr-x 2007-12-29 15:11 +0000 882 update-copyright-header
-rwxr-xr-x 2007-12-29 15:11 +0000 217 update-libstd-tag