From c3bd69ce20a9250b772294885b57021c24e24a8e Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Mon, 10 Apr 2017 09:27:45 +0000 Subject: Update gh-pages site for 80f9b6da66cb4eeabfd5ab97e422752ff134d590 --- api/dotty/tools/io/index.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'api/dotty/tools/io/index.html') diff --git a/api/dotty/tools/io/index.html b/api/dotty/tools/io/index.html index 77b9b0398..c4a14563c 100644 --- a/api/dotty/tools/io/index.html +++ b/api/dotty/tools/io/index.html @@ -6735,7 +6735,7 @@ as AbstractFile. nsc.io.ZipArchive is used to view zip/jar archives as directori - : AbstractFile$ + : AbstractFile.type @@ -6783,7 +6783,7 @@ as AbstractFile. nsc.io.ZipArchive is used to view zip/jar archives as directori - : Directory$ + : Directory.type @@ -6831,7 +6831,7 @@ as AbstractFile. nsc.io.ZipArchive is used to view zip/jar archives as directori - : File$ + : File.type @@ -6879,7 +6879,7 @@ as AbstractFile. nsc.io.ZipArchive is used to view zip/jar archives as directori - : Path$ + : Path.type @@ -6927,7 +6927,7 @@ as AbstractFile. nsc.io.ZipArchive is used to view zip/jar archives as directori - : Streamable$ + : Streamable.type @@ -6975,7 +6975,7 @@ as AbstractFile. nsc.io.ZipArchive is used to view zip/jar archives as directori - : ZipArchive$ + : ZipArchive.type -- cgit v1.2.3