This repository has been archived on 2024-05-26. You can view files and clone it, but cannot push or open issues or pull requests.

Benedikt Peetz 1b70ba6e47 chore(treewide): Add missing license headers		2024-05-20 15:24:51 +02:00
..
expected.md	tests(results): Add a test for results	2024-05-19 12:01:33 +02:00
input.tri	chore(treewide): Add missing license headers	2024-05-20 15:24:51 +02:00
main.rs	tests(results): Add a test for results	2024-05-19 12:01:33 +02:00