Commit 83c37aa8 authored Jan 12, 2020 by Andreas Klöckner

Merge branch 'natsort' into 'master'

Use pytools.natsorted

See merge request !38