8f9beb5 drop tex docs, static lib

Authored and Committed by spot 15 years ago
1 file changed. 9 lines added. 3 lines removed.
    drop tex docs, static lib
    
        
file modified
+9 -3