Skip to content

coroc: skip synthetic functions#137

Merged
chriso merged 1 commit intomainfrom skip-synthetic-functionsDec 16, 2023

Commits

Commits on Dec 16, 2023