diff dot_config/ripgrep/ripgreprc @ 815:b528cf742ccf

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