Merge remote-tracking branch 'origin/fix-pruning-broken-links' into development

This commit is contained in:
Franz Roters 2020-12-03 10:57:58 +01:00
commit 20e831fd80
1 changed files with 1 additions and 1 deletions

View File

@ -27,4 +27,4 @@ for sub_dir in ['pre','post']:
sys.stdout.write('\npruning broken links...\n') sys.stdout.write('\npruning broken links...\n')
for filename in bin_dir.glob('*'): for filename in bin_dir.glob('*'):
if not filename.is_file(): if not filename.is_file():
filename.unlink filename.unlink()