Support alternative file extensions#1231

Merged

dcodeIO merged 3 commits intomasterfrom

Apr 26, 2020

Commits on Apr 17, 2020

Support alternative file extensions
dcodeIO
committed

Commits on Apr 22, 2020

accept extensions without leading dot
dcodeIO
committed

Commits on Apr 26, 2020

Merge branch 'master' into extension
dcodeIO
committed