Skip to content

remove deprecated terms and change axioms as needed - #1455

Open
stevenchalem wants to merge 5 commits into
release/15.0.0from
stevenchalem/1380-remove-any-deprecated-terms
Open

remove deprecated terms and change axioms as needed#1455
stevenchalem wants to merge 5 commits into
release/15.0.0from
stevenchalem/1380-remove-any-deprecated-terms

Merge branch 'release/15.0.0' into stevenchalem/1380-remove-any-depre…

ca10e1a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar