#450 Rename 'path separator' to 'file separator'

Merged Dennis Hendriks requested to merge 450-rename-path-separator-to-file-separator into develop

Closes #450 (closed)

Merge request reports