3 Commits

Author	SHA1	Message	Date
Rui Lopes	8010455501	upgrade to ubuntu 22.04	2022-12-03 11:10:03 +00:00
Rui Lopes	1c9ca495c8	upgrade to ubuntu 20.04	2021-02-28 12:40:59 +00:00
Rui Lopes	abe5834991	provision and use a apt (aka debian) repository	2020-05-09 13:30:11 +01:00