changeset 73922 | 3556303bd385 |
parent 73913 | 631b61f06d0e |
child 73930 | 17c09d1b3588 |
--- a/src/Tools/Setup/isabelle/setup/Environment.java Fri Jul 02 12:23:42 2021 +0200 +++ b/src/Tools/Setup/isabelle/setup/Environment.java Fri Jul 02 14:08:45 2021 +0200 @@ -39,7 +39,7 @@ /* system path representations */ - private static String slashes(String s) { return s.replace('\\', '/'); } + public static String slashes(String s) { return s.replace('\\', '/'); } public static String standard_path(String cygwin_root, String platform_path) {