config_mypath(): allow setting additional $PATH 0.8.5
-rw-r--r-- 3966 .hgtags
-rw-r--r-- 6979 autoconfig
-rwxr-xr-x 77864 autoconfig.functions
-rw-r--r-- 6984 autoconfig.small
drwxr-xr-x - debian
drwxr-xr-x - etc
-rwxr-xr-x 7903 grml-autoconfig
-rwxr-xr-x 3375 grml-bootsplash
-rw-r--r-- 30540 language-functions
drwxr-xr-x - man
drwxr-xr-x - sbin