diff git/gitconfig @ 491:ce7e5b759a39

New stuff to install.
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 19 Oct 2021 18:02:27 -0700
parents 2279514d82e4
children 16cac382ca7c
line wrap: on
line diff