6c57433 without_shared renamed to ghc_without_shared

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