summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorMarc Glisse <marc.glisse@inria.fr>2022-10-26 18:51:44 +0200
committerMarc Glisse <marc.glisse@inria.fr>2022-10-26 18:51:44 +0200
commitb1639bdd54e5e34a8f801c147fcd7f64a829ec4c (patch)
treeea7b648aa24114f0678dcaacdc08645e042e6cb5 /.github
parent20f25ed9db1fd1a9d781f3a4a0a976439a11d011 (diff)
Visual Studio requires /std:c++17
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions