apply oscar naming convention change isfoo -> is_foo (!58) · Merge requests · Johannes Flake / PBWDeformations.jl · GitLab

This is an archived project. Repository and other project resources are read-only.

Lars Göttgens requested to merge lg/isfoo-renaming into master Jul 11, 2022