a3052b0 Remove superfluous (double) directory separator

Authored and Committed by robert 3 years ago
    Remove superfluous (double) directory separator
    
        
file modified
+2 -2