e849f68 Committer: mrader <msrader@gmail.com>

Authored and Committed by rader 13 years ago
1 file changed. 6 lines added. 3 lines removed.
    Committer: mrader <msrader@gmail.com>
    On branch f13/master
    Changes to be committed:
    
    	modified:   frama-c.spec
    
        
file modified
+6 -3