5 Commits

Author	SHA1	Message	Date
Jan Szumotalski	760612eccc	col	2025-12-29 17:19:04 +01:00
Jan Szumotalski	8fed4ac4c4	suda	2025-12-20 17:18:44 +01:00
Jan Szumotalski	23d7631277	config	2025-12-20 15:09:11 +01:00
Jan Szumotalski	a212829857	coq	2025-12-10 10:27:01 +01:00
Jan	ab9930d50f	Initial commit	2025-12-08 13:57:15 +01:00