diff options
| author | Emilio Jesus Gallego Arias | 2020-02-23 17:38:44 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-29 23:49:26 -0400 |
| commit | 4fa753561b2815f0455c455ac970759c2ac8ef7a (patch) | |
| tree | bc4b55d451718b24d702206da1d7cafa6ca52910 /dev/header.py | |
| parent | 6760a066168a5be0d3b479741fe8ac6c39339610 (diff) | |
[configure] Disable warning 67 which seems 100% bogus
Diffstat (limited to 'dev/header.py')
0 files changed, 0 insertions, 0 deletions