copy_addon_file(): do not be verbose to the user, but send it to the log instead
[grml-live.git] / debian / source /
drwxr-xr-x   ..
-rw-r--r-- 13 format