Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix bug in prune_files.sh where we shouldn't have had a % at the end …
…of the string, but we should handle it even if we do
- Loading branch information