Redesign sources.list handling. Get rid of /etc/grml/fai/apt/sources.list.
[grml-live-grml.git] / scripts /
drwxr-xr-x   ..
-rw-r--r-- 10340 bootgrub.mksh
-rw-r--r-- 10658 bootilnx.mksh
-rwxr-xr-x 2707 create-grub-dir.sh
-rwxr-xr-x 3979 release_helper.sh
-rwxr-xr-x 2294 repodiff.pl