diff options
| author | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-08-13 15:46:19 -0700 |
|---|---|---|
| committer | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-08-13 15:46:19 -0700 |
| commit | cc66f97cf1c45ad3af2456e3fe6d4d27ab80d643 (patch) | |
| tree | 5bba37dee2d810bd46f6d360f3df7e60e21df9de /configure | |
| parent | fcbc13e8dbdd934e02299ca31f001f95fcfdb45c (diff) | |
| download | open-axiom-cc66f97cf1c45ad3af2456e3fe6d4d27ab80d643.tar.gz | |
Use `char8_t` in the tool hammer
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions