]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #1697 from tspiteri/doc-mingw
authorOliver Schneider <oli-obk@users.noreply.github.com>
Tue, 25 Apr 2017 10:35:23 +0000 (12:35 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Apr 2017 10:35:23 +0000 (12:35 +0200)
Add "MinGW" to doc-valid-idents


Trivial merge