]> source.dussan.org Git - gitignore.git/commitdiff
Merge branch 'master' of https://github.com/github/gitignore into add_compilation_db_... 2936/head
authorMiklos Marton <martonmiklosqdev@gmail.com>
Mon, 21 Jan 2019 07:55:04 +0000 (08:55 +0100)
committerMiklos Marton <martonmiklosqdev@gmail.com>
Mon, 21 Jan 2019 07:55:04 +0000 (08:55 +0100)

Trivial merge