progress: use term_clear_line()
[gitweb.git] / ci / util /
drwxr-xr-x   parent (dest: ci; base: 5b12e3123b7b70e3875404a4ffe571ca079364fe)
-rwxr-xr-x 949 extract-trash-dirs.sh