/scripts/
drwxr-xr-x [up]
drwxr-xr-x server-services
-rw-r--r-- 2008-10-23 16:49 +0000 1 DO-NOT-PLAY-WITH-release
-rwxr-xr-x 2008-10-23 16:49 +0000 2095 autopackage-glpk
-rwxr-xr-x 2008-10-23 16:49 +0000 1862 check-compilers
-rwxr-xr-x 2008-10-23 16:49 +0000 997 check-tarball-integrity
-rwxr-xr-x 2008-10-23 16:49 +0000 74 make-snapshot
-rwxr-xr-x 2008-10-23 16:49 +0000 2323 release
-rwxr-xr-x 2008-10-23 16:49 +0000 1331 rename-graphs
-rwxr-xr-x 2008-10-23 16:49 +0000 1868 rpmbuild-glpk
-rwxr-xr-x 2008-10-23 16:49 +0000 213 see-deps
-rwxr-xr-x 2008-10-23 16:49 +0000 886 update-copyright-header
-rwxr-xr-x 2008-10-23 16:49 +0000 217 update-libstd-tag