Correct test for DTED file extension#18

Merged

wcmatthysen merged 1 commit intodevelopfrom

DTED-file-extension-fix

Apr 11, 2019

Commits on Apr 11, 2019

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

gbburkhardt
authored and
wcmatthysen
committed