a93716c On branch f14/master

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