Add option to sort triples numerically.#409

Merged

dr0i merged 3 commits intomasterfrom 380-addOptionToSortTriplesNumerically

Oct 15, 2021

+390-54

Commits on Oct 14, 2021

Commits on Oct 15, 2021

Improve description
dr0i
committed