diff dot_zshrc @ 815:b528cf742ccf

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