HomeIsabelle/Phabricator

more robust on Windows, where C:\\ and \\SERVER\SHARE cause problems (line 920…

Description

more robust on Windows, where C:\\ and \\SERVER\SHARE cause problems (line 920 of winbasicio.cpp);

Details

Provenance
makariusAuthored on
Parents
rISABELLE6d2ca97a8f46: More of Manuel's material, and some changes
Branches
Unknown
Tags
Unknown