Changed dist names. Updated package lists.
[carnet-upgrade.git] / usr / share / carnet-upgrade / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 2215 check_services
-rwxr-xr-x 1150 debconf_priority