Skip to content

Replace uses of deprecated pkg_resources#191

Open
tautschnig wants to merge 1 commit intomodel-checking:masterfrom
tautschnig:remove-pkg_resources
Open

Replace uses of deprecated pkg_resources#191
tautschnig wants to merge 1 commit intomodel-checking:masterfrom
tautschnig:remove-pkg_resources

Commits

Commits on Jun 13, 2025