Matej Focko 7a0c33ca05 chore: capitalize chapters ... Signed-off-by: Matej Focko <xfocko@fi.muni.cz>		2023-06-10 18:03:33 +02:00
..
_category_.yaml	chore: capitalize chapters	2023-06-10 18:03:33 +02:00
postcondition-ambiguity.md	fix: redo descriptions and add tags	2022-12-11 21:30:38 +01:00