diff options
| author | Camil Staps | 2018-07-06 13:13:28 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-07-06 13:13:28 +0200 |
| commit | 0ca046677c3a4051e25434258ed9b077400107dc (patch) | |
| tree | 4aea3e3ee938e76455d8c4ea17624cd23c24719a /.gitignore | |
| parent | Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking (diff) | |
Remove redundant parentheses
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions