From 7823a3380a98aa3866c276e2a26b3fa212767f0d Mon Sep 17 00:00:00 2001
From: dotty-bot <felix.mulder@epfl.ch>
Date: Tue, 11 Apr 2017 19:19:12 +0000
Subject: Update gh-pages site for 10a1300b7599407a7c6078244c4b7692e339b39f

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

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

diff --git a/api/dotty/tools/io/Jar$/WManifest.html b/api/dotty/tools/io/Jar$/WManifest.html
index bfdfc4a72..90b041387 100644
--- a/api/dotty/tools/io/Jar$/WManifest.html
+++ b/api/dotty/tools/io/Jar$/WManifest.html
@@ -5749,6 +5749,12 @@
                     <span class="no-left">(</span>
                         
                         
+                            <span class="no-left">
+                                x$0:
+                            </span>
+                            InputStream
+                            
+                        
                     <span class="no-left">)</span>
                 </div>
             </div>
@@ -5779,12 +5785,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