This repository has been archived on 2026-04-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Ghost_Element 00eabe56a5 .equals replaced with ==		2024-01-10 21:46:15 +01:00
..
tests	.equals replaced with ==	2024-01-10 21:46:15 +01:00
NFAProvider.class	documentation. cleanup. your turn daniel	2024-01-10 20:46:35 +01:00