Skip to content
  • giannozz's avatar
    More I/O tweaking for Windows: · 4cd764a1
    giannozz authored
    - a "\" is added for Windows instead of "/" at the end of directory names;
      when a directory is created, the final "\" is removed (mkdir yields an
      error on Windows)
    - the ubiquitous ".save/" or ".save/" is stored into a variable "postfix"
    4cd764a1