6b86fe4 disable_long_double isn't used anymore

Authored and Committed by Petr Machata 12 years ago
1 file changed. 0 lines added. 6 lines removed.
    disable_long_double isn't used anymore
    
        
file modified
+0 -6