Skip to content

Fixed output filename formatting which assumed the extension was always 3 characters long#43

Merged
LorenzLamm merged 1 commit intoteamtomo:mainfrom rdrighetto:output-ext-fixDec 14, 2023