4 commits

Author	SHA1	Message	Date
Mm2PL	aea3118434	this doesn't exist anymore	2022-01-15 01:07:23 +01:00
Mm2PL	adf45e333a	This isn't needed anymore	2022-01-15 01:05:20 +01:00
Mm2PL	013d0d216d	in pajaDent	2022-01-15 01:01:40 +01:00
Mm2PL	83a76f82d8	Try to move ubuntu CI to its own file	2022-01-15 00:55:29 +01:00