diff options
author | Jeremy Harris <jgh146exb@wizmail.org> | 2022-04-01 21:18:16 +0100 |
---|---|---|
committer | Jeremy Harris <jgh146exb@wizmail.org> | 2022-04-01 21:18:16 +0100 |
commit | d518c8b6721ea30a9dc3190e57157edd676234ec (patch) | |
tree | 29ddde72679fea347e44c28bc4272265735e2a2c /doc/doc-docbook/Makefile | |
parent | 6966f351a5e7e0d6b5d10165c71c366495f7f520 (diff) |
Build: remove hints-DB interface from macro-predef phase
Diffstat (limited to 'doc/doc-docbook/Makefile')
0 files changed, 0 insertions, 0 deletions