ca0804 On branch f12/master

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