diff options
| author | Michele Bini <michele.bini@gmail.com> | 2022-06-03 10:23:25 (GMT) |
|---|---|---|
| committer | Michele Bini <michele.bini@gmail.com> | 2022-06-04 16:39:12 (GMT) |
| commit | 3d3a0a1c4ba134d6ece47e24492685bb7d64465b (patch) | |
| tree | ef79813cbe2da4ed84157ecb31e386ab09a6bd15 /.github | |
| parent | 99c259d82e1d223a9be0baa1f78522f8a123997c (diff) | |
Use C++17
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions