diff console.xml @ 454:54bdd1f0f873

Make OS-specific configs for Git.
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 13 Nov 2018 09:55:24 -0800
parents 1c3e3740325f
children
line wrap: on
line diff