This repository was archived by the owner on May 8, 2026. It is now read-only.

Feature/specify names for default functions#185

Merged

Frank-Wiebeler merged 2 commits into

mainfrom

feature/specify_names_for_default_functions

Mar 9, 2022

Commits on Mar 7, 2022