Skip to content

gentypes: add support for third-party types#10

Merged
bigbes merged 1 commit intomasterfrom
bigbes/tntp-3734-gentypes-force
Sep 4, 2025
Merged

gentypes: add support for third-party types#10
bigbes merged 1 commit intomasterfrom
bigbes/tntp-3734-gentypes-force

Commits

Commits on Sep 4, 2025