4ce1ddb Update to 0.9.13.

Authored and Committed by bruno 13 years ago
    Update to 0.9.13.
    
    ghc-hslogger is available now, so server can use logging.
    Use -dynamic for ghc builds.
    
        
file modified
+1 -0
file removed
-133
file modified
+13 -18
file modified
+1 -1