Skip to content

fix bug in prune_files.sh where we shouldn't have had a % at the end … #488

fix bug in prune_files.sh where we shouldn't have had a % at the end …

fix bug in prune_files.sh where we shouldn't have had a % at the end … #488