Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-09-05 | Update to 20170501 (v15.x, "Phosphorus"). This reflects six major | dholland | 1 | -5/+13 |
2011-12-25 | Update to Frama-C Nitrogen release 2011-10-01 | asau | 1 | -8/+10 |
2009-12-21 | gnomecanvas option needs gnomecanvas. Make sure PLIST_SRC is built | joerg | 1 | -1/+3 |
2009-12-07 | Add a gnomecanvas option to fix build when lablgtk was compiled without | wiz | 1 | -0/+13 |