diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-05 18:04:11 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-05 18:04:11 -0700 |
commit | 00a20b53ce998f52b18303a7a680e6a00acc098c (patch) | |
tree | 2aaf6422fa5c9dc603239a3159cbd079321ca6dd /test/unit | |
parent | 1409f24edfcf91698293cc41b43e56a5194b0fde (diff) |
parsekinds: Remove DEFAULT_HEADER. (#6294)
DEFAULT_HEADER in src/api/parsekinds.py is essentially unused since both genkinds.py scripts pass the kinds header to the script. The current value of DEFAULT_HEADER does not work for the scripts since the working directory for genkinds.py is in src/api/{java,python}.
Diffstat (limited to 'test/unit')
0 files changed, 0 insertions, 0 deletions