9e703df replacing dash with posix bash

Authored and Committed by Lukas Zapletal 12 years ago
    replacing dash with posix bash
    
        
file modified
+3 -3