diff dot_gitignore @ 815:b528cf742ccf

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