diff options
author | Leonardo Hernández Hernández <leohdz172@protonmail.com> | 2022-03-31 09:21:27 -0600 |
---|---|---|
committer | Leonardo Hernández Hernández <leohdz172@protonmail.com> | 2022-03-31 09:21:27 -0600 |
commit | 2d6f932ecfc9580721cfa6a2f8dfa22d2af540c8 (patch) | |
tree | a98b68689e2b413092e7193fb8ed813ed8687a3f /.github | |
parent | aab397c30b9b9e4223a4f408431eb3aa5521cb92 (diff) |
don't let -pedantic be overridable by environment
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions