Skip to content

Correct test for DTED file extension#18

Merged
wcmatthysen merged 1 commit into
developfrom
DTED-file-extension-fix
Apr 11, 2019
Merged

Correct test for DTED file extension#18
wcmatthysen merged 1 commit into
developfrom
DTED-file-extension-fix

correct test for DTED extension; files can use either upper or lower …

3d620ed
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs