55eb841 modified: modified frama c to use frama-c-Boron-20100401 and lbl2bt

Authored and Committed by Mark Rader 13 years ago
    	modified:   modified frama c to use frama-c-Boron-20100401 and lbl2bt
     Changed but not updated:
    
    	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
            added:      frama-c-Boron-20100401
            added:      frama-c-1.5.licensing
            added:      frama-c-gui.desktop
    
        
file modified
+3 -0
file modified
+3 -1