eldritch horrors 2297d3f895 doc: remove obsolete files ...

these must've been forgotten during the move to generated builtins.

Change-Id: I0989847abc020e9356b996f26196d2c07953f77b

2024-11-29 13:29:31 +00:00

..

internal-api

fix tooling after include reorganization

2024-11-19 22:55:32 +00:00

manual

doc: remove obsolete files

2024-11-29 13:29:31 +00:00