05d6abb without_shared renamed to ghc_without_shared

Authored and Committed by petersen 13 years ago
1 file changed. 12 lines added. 11 lines removed.
    without_shared renamed to ghc_without_shared
    
        
file modified
+12 -11