Don't fail on rm *.sensitive if it was already removed earlier in script#797

Merged

fhunleth merged 1 commit intonerves-project:mainfrom ringlej:fix-rm-on-case-sensitivity

Jun 4, 2024

+1-1

Commits on Jun 4, 2024

Don't fail on rm *.sensitive if it was already removed earlier in script
ringlej
committed