Skip to content

Rework the file opening procedure

A rather natural complement to !31 (merged). See the individual commit messages for more details.

Edited by Gaël Bonithon

Merge request reports