src/Pure/System/cygwin.scala
author wenzelm
Fri, 21 Oct 2022 13:15:24 +0200
changeset 76349 b4daf7577ca0
parent 73893 eb7655fcb090
child 80225 d9ff4296e3b7
permissions -rw-r--r--
clarified Zstd.init(): avoid accidential com.github.luben.zstd.util.Native.load() operation;

/*  Title:      Pure/System/cygwin.scala
    Author:     Makarius

Cygwin as POSIX emulation on Windows.
*/

package isabelle


import java.io.{File => JFile}
import java.nio.file.Files

import scala.annotation.tailrec


object Cygwin
{
}