diff options
| author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-09 15:53:49 +0100 |
|---|---|---|
| committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-09 15:53:49 +0100 |
| commit | a3219a82dcb2b5cdff512b75577a3fe0d7dd91b4 (patch) | |
| tree | cea8e1f725e960c6f7f9a33f32410f5a63ce2a8d /.gitignore | |
| parent | 2ea016d15ca9f777fc99e9f6b2b5a144b056da23 (diff) | |
Add MSO to automaton citation
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions