New file/folder name bugfix#1612

Merged

catarak merged 2 commits intoprocessing:developfrom

neelesh7singh:file/folder-name-bugfix

Sep 14, 2020

Commits on Sep 12, 2020

Merge pull request #3 from processing/develop
neelesh7singh
authored

Commits on Sep 13, 2020

Fixes file/folder name bug
neelesh7singh
committed