diff dot_tool-versions @ 815:b528cf742ccf

ci: update CI config
author zegervdv <zegervdv@me.com>
date Tue, 05 Dec 2023 21:23:44 +0100
parents a7f5b5e2f4f4
children 8430f87e87c8
line wrap: on
line diff