diff options
| author | Matthijs Bijman <matthijs@bijman.org> | 2017-02-27 15:33:48 +0100 |
|---|---|---|
| committer | Matthijs Bijman <matthijs@bijman.org> | 2017-02-27 15:33:48 +0100 |
| commit | f563b9c9a05b3e47070bfa4775a0e18ace8797a6 (patch) | |
| tree | 479eaec78e76babfeaa99ad7d41e265e2f03d5d3 /Simulator/makefile | |
| parent | 34aaaad34e72c921ea72d7b023e5a5270e76dd40 (diff) | |
Experiments are now finished if no machines are present
Diffstat (limited to 'Simulator/makefile')
0 files changed, 0 insertions, 0 deletions