0d7d31 Rebuild configure due to changes in configure.ac

Authored and Committed by Milan Crha 13 years ago
    Rebuild configure due to changes in configure.ac
    
        
file modified
+8 -0