Skip to content

fix sorting of notated concepts in hierarchy#887

Merged
joelit merged 1 commit intomasterfrom issue861-sort-notationsNov 7, 2019
+30-1

Commits

Commits on Aug 21, 2019