diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2020-08-18 15:50:46 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-08-18 15:50:46 +0200 |
| commit | eddecfcc02ab11b05881e49673a8a8027ae640bf (patch) | |
| tree | d495a310bad9237ad886368454946bf71fb430fd /doc/MIMOSA | |
| parent | 1d9bbd0ec9fdc2ed63630137602207260b13285b (diff) | |
generate-dfa-benchmark: only set run flags when set
Diffstat (limited to 'doc/MIMOSA')
0 files changed, 0 insertions, 0 deletions