comparison 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
comparison
equal deleted inserted replaced
814:8847b222a788 815:b528cf742ccf