Skip to content

add support for $defs instead of definitions.#338

Merged
pboettch merged 2 commits intopboettch:mainfrom rpatters1:support-dollar-defsJan 22, 2025

Commits

Commits on Nov 26, 2024