5b9fad On branch f12/master

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