diff options
Diffstat (limited to 'api/dotty/tools/io/Jar$/WManifest.html')
-rw-r--r-- | api/dotty/tools/io/Jar$/WManifest.html | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/api/dotty/tools/io/Jar$/WManifest.html b/api/dotty/tools/io/Jar$/WManifest.html index d2b1a12cf..11aea9c40 100644 --- a/api/dotty/tools/io/Jar$/WManifest.html +++ b/api/dotty/tools/io/Jar$/WManifest.html @@ -6297,7 +6297,7 @@ </div> </div><!-- end member --> - <div id="wait(x$0,x$1)" class="member "> + <div id="wait()" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6319,20 +6319,6 @@ <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Long - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - - <span class="no-left">)</span> @@ -6393,7 +6379,7 @@ </div> </div><!-- end member --> - <div id="wait()" class="member "> + <div id="wait(x$0,x$1)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6415,6 +6401,20 @@ <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Long + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + + <span class="no-left">)</span> |