diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2020-04-30 12:36:20 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-04-30 12:36:20 +0200 |
| commit | b22f114c3062f25afd5b13cdf8fc8baf4e6cff69 (patch) | |
| tree | 32a81f9925463640828484b5547c29a6d4976ec5 /.gitignore | |
| parent | 36d02c1227374b107aa351388c0b5e3df65e4fa9 (diff) | |
generate-dfa-benchmark: update default app name
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions