diff options
| author | Jeremy Harris <jgh146exb@wizmail.org> | 2022-04-02 07:58:36 +0100 |
|---|---|---|
| committer | Jeremy Harris <jgh146exb@wizmail.org> | 2022-04-02 07:58:36 +0100 |
| commit | 673fcb1022126588ab5dc3ab2dcfae30a8e78d4d (patch) | |
| tree | fded7aa844a62eda491cad437a86e85f00247fc2 /.github | |
| parent | d518c8b6721ea30a9dc3190e57157edd676234ec (diff) | |
Revert "Build: remove hints-DB interface from macro-predef phase"
This reverts commit d518c8b6721ea30a9dc3190e57157edd676234ec.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions