From 887b63e21b00f867602570c5cbcacb47b46cd5e2 Mon Sep 17 00:00:00 2001
From: dotty-bot <felix.mulder@epfl.ch>
Date: Sat, 1 Apr 2017 23:20:41 +0000
Subject: Update gh-pages site for 054a4f98bba5ac06f5cf5dd98403db7e2905f080

---
 api/dotty/tools/io/Jar$/WManifest.html | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'api/dotty/tools/io/Jar$/WManifest.html')

diff --git a/api/dotty/tools/io/Jar$/WManifest.html b/api/dotty/tools/io/Jar$/WManifest.html
index 10ea9bd3c..2a636b77b 100644
--- a/api/dotty/tools/io/Jar$/WManifest.html
+++ b/api/dotty/tools/io/Jar$/WManifest.html
@@ -5460,6 +5460,12 @@
                     <span class="no-left">(</span>
                         
                         
+                            <span class="no-left">
+                                x$0:
+                            </span>
+                            Manifest
+                            
+                        
                     <span class="no-left">)</span>
                 </div>
             </div>
@@ -5475,7 +5481,7 @@
                             <span class="no-left">
                                 x$0:
                             </span>
-                            Manifest
+                            InputStream
                             
                         
                     <span class="no-left">)</span>
@@ -5490,12 +5496,6 @@
                     <span class="no-left">(</span>
                         
                         
-                            <span class="no-left">
-                                x$0:
-                            </span>
-                            InputStream
-                            
-                        
                     <span class="no-left">)</span>
                 </div>
             </div>
-- 
cgit v1.2.3