michael 3d0a164941 Enable opening two separate files with the same filename (issue 2268 - Thanks, Ingo!)

2014-06-25 07:19:42 -04:00

7.3 KiB

Raw Blame History

View Raw