diff options
| author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-07 13:21:08 +0100 |
|---|---|---|
| committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-07 13:27:36 +0100 |
| commit | 81fdd3f346ed286cbf413515e66f21fcd3c28d27 (patch) | |
| tree | e03dfdb8a99181aae2536cf49d5da12a6c5d8bf5 /.gitignore | |
| parent | 9eac34349bdf4a0e7a7c57f62a7c8f97ef93d510 (diff) | |
Formally show automaton
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions