projects / platform / upstream / freerdp.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 442ba91 43a16a3)
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)
add ninja to gitignore


Trivial merge
Domain: Graphics System / Display Server;