| 800 | } |
| 801 | |
| 802 | String ToUnixPath(const String& path) |
| 803 | { |
| 804 | String unixpath = path; |
| 805 | replace_char(&*unixpath.begin(), '\\', '/'); |
| 806 | return unixpath; |
| 807 | } |
| 808 | |
| 809 | /** |
| 810 | * @brief Return whether whether the given name can be used as a filename or directory name. |
no test coverage detected