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 /Makefile | |
parent | 2ea016d15ca9f777fc99e9f6b2b5a144b056da23 (diff) |
Add MSO to automaton citation
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions