Merge pull request #5176 from chipitsine/ninja_gitignore
authorBernhard Miklautz <bmiklautz@users.noreply.github.com>
Wed, 2 Jan 2019 21:20:39 +0000 (21:20 +0000)
committerGitHub <noreply@github.com>
Wed, 2 Jan 2019 21:20:39 +0000 (21:20 +0000)
commitbab79a995124c6798d2c7b1fb640f605012725d6
tree18a72122411af8672311cae187cdd2f7cb312993
parent442ba916bf11113e9f513dd19ddf70af41049bab
parent43a16a3e5e94a41302f378600a9d32e8dd1129d5
Merge pull request #5176 from chipitsine/ninja_gitignore

add ninja to gitignore