08f076 On branch f12/master

Authored and Committed by Mark Rader 9 years ago
1 file changed. 6 lines added. 3 lines removed.
    On branch f12/master
     Changes to be committed:
    
    	modified:   frama-c.spec
    
        
file modified
+6 -3