3 Commits

Author	SHA1	Message	Date
Bruno Rybársky	406b6519b3	smt works	2022-04-27 20:35:00 +02:00
Bruno Rybársky	b23be2e477	does this work?	2022-04-27 19:22:52 +02:00
Bruno Rybársky	136fb8978a	init	2022-04-27 19:12:55 +02:00