Added tag 0.7.1 for changeset 8016d933e821
-rw-r--r-- 2394 .hgtags
-rw-r--r-- 6843 autoconfig
-rwxr-xr-x 72925 autoconfig.functions
-rw-r--r-- 6848 autoconfig.small
drwxr-xr-x - debian
drwxr-xr-x - etc
-rwxr-xr-x 7388 grml-autoconfig
-rwxr-xr-x 3375 grml-bootsplash
-rw-r--r-- 29637 language-functions
drwxr-xr-x - man
drwxr-xr-x - sbin