log git/gitignore @ 424:d8086f81b9c8

age author description
Tue, 13 Feb 2018 11:08:44 -0800 Ludovic Chabant Add `gitignore`.