6c8d007 modified: .gitignore

Authored and Committed by Mark Rader 13 years ago
    	modified:   .gitignore
    	deleted:    frama-c-1.4-fix-ocamlgraph-detection.patch
    	deleted:    frama-c-1.4-licensing
    	deleted:    frama-c-1.4-ptests-fix-for-ocaml-3.11.2.patch
    	deleted:    frama-c-Fix-weak-pattern-matching-in-dynlink_lower_311_byte.patch
    	deleted:    frama-c.desktop
    	modified:   frama-c.spec
    	modified:   sources
            updated Frama-C-Boron
    
        
file modified
+3 -0
file removed
-26
file removed
-9
file modified
+26 -48
file modified
+0 -2