33cef92 remove dead sources

Authored and Committed by Jaroslav Kysela 6 years ago
    remove dead sources
    
        
file modified
+0 -12