diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-05 08:00:09 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-05 08:00:09 +0200 |
commit | a8fed9bcf8daa319ae86f33198530b8e170e2b00 (patch) | |
tree | beadf3ba9a425455342ee0847c34cc340bf2edaf /lib/MIMOSA | |
parent | aa4fed593d12a55ddd6efff70c81275851d872dd (diff) |
runner: Run make clean before rebuilding
Diffstat (limited to 'lib/MIMOSA')
0 files changed, 0 insertions, 0 deletions