commit | ef05d51bf9ae4c2cdc9afb14325094f98b80f971 | [log] [tgz] |
---|---|---|
author | Nico Weber <nicolasweber@gmx.de> | Thu Apr 05 16:26:42 2018 |
committer | GitHub <noreply@github.com> | Thu Apr 05 16:26:42 2018 |
tree | e83a90a843d6a0dc38de90fc1cedef4129b248d3 | |
parent | 5d43e7457162c74bab25ada64a5bf87489ca5896 [diff] | |
parent | dfed28c3073947cf6b77a53a6bab06285ff04a11 [diff] |
Merge pull request #1404 from nico/c++17 make ninja build with -std=c++17