Skip to content

csh fixes

Ben Couturier requested to merge csh_fixes into master

Solutions to various problems encountered

We also have to be careful with tcsh if *.foo does not match, it interupst the script with "no match"

Merge request reports