Skip to content

Use built-in importlib.resources on Python 3.9+#7042

Merged
NikolajBjorner merged 1 commit intoZ3Prover:masterfrom
mgorny:importlib_resources
Dec 5, 2023

Commits

Commits on Dec 5, 2023