log git/gitignore @ 462:4f6af3e668eb

age author description
Tue, 13 Nov 2018 09:55:24 -0800 Ludovic Chabant Make OS-specific configs for Git.
Tue, 13 Feb 2018 11:08:44 -0800 Ludovic Chabant Add `gitignore`.