dotty.tools.io
A common interface for File-based things and Stream-based things. (In particular, io.File and JarEntry.)
A common interface for File-based things and Stream-based things. (In particular, io.File and JarEntry.)