Changeset 3221
- Timestamp:
- Apr 30, 2013, 1:25:17 AM (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/Makefile.in
r3215 r3221 14 14 make -C plugin install 15 15 make -C wrapper install 16 make -C cerco-executable install 16 17 17 18 clean:
Note: See TracChangeset
for help on using the changeset viewer.