Skip to content

generalise "applicable" argument#25

Merged
lukavdplas merged 2 commits intodevelopfrom feature/generalise_applicable_argNov 20, 2024