48c57f1 Use sed instead of patch to make life easier.

Authored and Committed by Christopher Meng 10 years ago
    Use sed instead of patch to make life easier.
    
        
file modified
+1 -2