aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/repl
diff options
context:
space:
mode:
Diffstat (limited to 'api/dotty/tools/dotc/repl')
-rw-r--r--api/dotty/tools/dotc/repl/AbstractFileClassLoader.html2
-rw-r--r--api/dotty/tools/dotc/repl/AmmoniteReader.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter$.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/REPLGenBCode.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/Request/AssignHandler.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ClassHandler.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/Request/DefHandler.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/Request/GenericHandler.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ImportHandler.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ModuleHandler.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/Request/PatHandler.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/Request/PatHandler/VariableNameFinder$.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/Request/StatementHandler.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/Request/TypeAliasHandler.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ValHandler.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ValOrPatHandler.html2
-rw-r--r--api/dotty/tools/dotc/repl/CompilingInterpreter/StatementInfo.html2
-rw-r--r--api/dotty/tools/dotc/repl/ConsoleWriter.html2
-rw-r--r--api/dotty/tools/dotc/repl/InteractiveReader$.html2
-rw-r--r--api/dotty/tools/dotc/repl/InteractiveReader.html2
-rw-r--r--api/dotty/tools/dotc/repl/Interpreter$.html2
-rw-r--r--api/dotty/tools/dotc/repl/Interpreter$/Error$.html2
-rw-r--r--api/dotty/tools/dotc/repl/Interpreter$/Incomplete$.html2
-rw-r--r--api/dotty/tools/dotc/repl/Interpreter$/Result.html2
-rw-r--r--api/dotty/tools/dotc/repl/Interpreter$/Success$.html2
-rw-r--r--api/dotty/tools/dotc/repl/Interpreter.html2
-rw-r--r--api/dotty/tools/dotc/repl/InterpreterLoop.html2
-rw-r--r--api/dotty/tools/dotc/repl/Main$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ManifestInfo$.html2
-rw-r--r--api/dotty/tools/dotc/repl/NewLinePrintWriter.html2
-rw-r--r--api/dotty/tools/dotc/repl/REPL$.html2
-rw-r--r--api/dotty/tools/dotc/repl/REPL$/Config.html2
-rw-r--r--api/dotty/tools/dotc/repl/REPL.html2
-rw-r--r--api/dotty/tools/dotc/repl/SimpleReader.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/index.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Attr$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Attr.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Back$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Bold$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Category.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Color$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Reversed$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Str$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Str.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Underlined$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/AnsiNav$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/AnsiNav.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/ClearScreen$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/ClearScreen.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Debug$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/DelegateFilter.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Exit$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Filter$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Filter.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/FilterTools$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/CS.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/CS/p$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/~:$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/LazyList.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Printing$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Printing.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Prompt$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Prompt.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Result$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Result.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/SpecialKeys$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/SpecialKeys$/Ctrl$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/TTY$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/TermInfo$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/TermInfo.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/TermState$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/TermState.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/Terminal$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/BasicFilters$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$/SelectionFilter$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$/SelectionFilter.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/HistoryFilter$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/HistoryFilter.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$/CutPasteFilter$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$/CutPasteFilter.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoFilter$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoFilter.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoState$.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoState.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/filters/index.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/index.html2
-rw-r--r--api/dotty/tools/dotc/repl/index.html2
94 files changed, 94 insertions, 94 deletions
diff --git a/api/dotty/tools/dotc/repl/AbstractFileClassLoader.html b/api/dotty/tools/dotc/repl/AbstractFileClassLoader.html
index 99b487f49..7cae708ff 100644
--- a/api/dotty/tools/dotc/repl/AbstractFileClassLoader.html
+++ b/api/dotty/tools/dotc/repl/AbstractFileClassLoader.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/AmmoniteReader.html b/api/dotty/tools/dotc/repl/AmmoniteReader.html
index 09c52a1b4..de7c8f48e 100644
--- a/api/dotty/tools/dotc/repl/AmmoniteReader.html
+++ b/api/dotty/tools/dotc/repl/AmmoniteReader.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter$.html b/api/dotty/tools/dotc/repl/CompilingInterpreter$.html
index b9c889f01..e13ce6d97 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter$.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter.html b/api/dotty/tools/dotc/repl/CompilingInterpreter.html
index 417cbe9c3..a8be11cc4 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/REPLGenBCode.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/REPLGenBCode.html
index cbc0e49ed..f6dcff565 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/REPLGenBCode.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/REPLGenBCode.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html
index 66186d575..5b791e4fe 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/AssignHandler.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/AssignHandler.html
index f889e2bf4..a33213289 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/AssignHandler.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/AssignHandler.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ClassHandler.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ClassHandler.html
index 53546a979..66b4aae60 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ClassHandler.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ClassHandler.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/DefHandler.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/DefHandler.html
index 3c3f5a36a..63ce19d5f 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/DefHandler.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/DefHandler.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/GenericHandler.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/GenericHandler.html
index be4f88b8c..4541795e3 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/GenericHandler.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/GenericHandler.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ImportHandler.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ImportHandler.html
index 60b80e149..f6ebb35be 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ImportHandler.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ImportHandler.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ModuleHandler.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ModuleHandler.html
index 388b5aacf..a886b1a93 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ModuleHandler.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ModuleHandler.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/PatHandler.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/PatHandler.html
index 76eb3573d..4ec615610 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/PatHandler.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/PatHandler.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/PatHandler/VariableNameFinder$.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/PatHandler/VariableNameFinder$.html
index 8f306f35d..8638af5c0 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/PatHandler/VariableNameFinder$.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/PatHandler/VariableNameFinder$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/StatementHandler.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/StatementHandler.html
index 79b3dc881..3cbf67ef6 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/StatementHandler.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/StatementHandler.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/TypeAliasHandler.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/TypeAliasHandler.html
index caedb08f6..6040d0090 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/TypeAliasHandler.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/TypeAliasHandler.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ValHandler.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ValHandler.html
index 58fbda844..39c67037c 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ValHandler.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ValHandler.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ValOrPatHandler.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ValOrPatHandler.html
index e5a236753..cdbe13037 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ValOrPatHandler.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request/ValOrPatHandler.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/StatementInfo.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/StatementInfo.html
index a3788231c..84dc015c6 100644
--- a/api/dotty/tools/dotc/repl/CompilingInterpreter/StatementInfo.html
+++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/StatementInfo.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ConsoleWriter.html b/api/dotty/tools/dotc/repl/ConsoleWriter.html
index 655d0c0ce..e359e2da0 100644
--- a/api/dotty/tools/dotc/repl/ConsoleWriter.html
+++ b/api/dotty/tools/dotc/repl/ConsoleWriter.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/InteractiveReader$.html b/api/dotty/tools/dotc/repl/InteractiveReader$.html
index 6f336e78f..248dca447 100644
--- a/api/dotty/tools/dotc/repl/InteractiveReader$.html
+++ b/api/dotty/tools/dotc/repl/InteractiveReader$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/InteractiveReader.html b/api/dotty/tools/dotc/repl/InteractiveReader.html
index 6c26b40a6..40c4b5210 100644
--- a/api/dotty/tools/dotc/repl/InteractiveReader.html
+++ b/api/dotty/tools/dotc/repl/InteractiveReader.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/Interpreter$.html b/api/dotty/tools/dotc/repl/Interpreter$.html
index dacbc66c9..ee41c017a 100644
--- a/api/dotty/tools/dotc/repl/Interpreter$.html
+++ b/api/dotty/tools/dotc/repl/Interpreter$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/Interpreter$/Error$.html b/api/dotty/tools/dotc/repl/Interpreter$/Error$.html
index df216a650..89111457c 100644
--- a/api/dotty/tools/dotc/repl/Interpreter$/Error$.html
+++ b/api/dotty/tools/dotc/repl/Interpreter$/Error$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/Interpreter$/Incomplete$.html b/api/dotty/tools/dotc/repl/Interpreter$/Incomplete$.html
index 0c916aa77..779c74b6c 100644
--- a/api/dotty/tools/dotc/repl/Interpreter$/Incomplete$.html
+++ b/api/dotty/tools/dotc/repl/Interpreter$/Incomplete$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/Interpreter$/Result.html b/api/dotty/tools/dotc/repl/Interpreter$/Result.html
index 6c4abb369..6f78f6f14 100644
--- a/api/dotty/tools/dotc/repl/Interpreter$/Result.html
+++ b/api/dotty/tools/dotc/repl/Interpreter$/Result.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/Interpreter$/Success$.html b/api/dotty/tools/dotc/repl/Interpreter$/Success$.html
index 8ed07ad76..7d19a8a83 100644
--- a/api/dotty/tools/dotc/repl/Interpreter$/Success$.html
+++ b/api/dotty/tools/dotc/repl/Interpreter$/Success$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/Interpreter.html b/api/dotty/tools/dotc/repl/Interpreter.html
index b72eb59eb..c81463390 100644
--- a/api/dotty/tools/dotc/repl/Interpreter.html
+++ b/api/dotty/tools/dotc/repl/Interpreter.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/InterpreterLoop.html b/api/dotty/tools/dotc/repl/InterpreterLoop.html
index e92786cc9..d8b327487 100644
--- a/api/dotty/tools/dotc/repl/InterpreterLoop.html
+++ b/api/dotty/tools/dotc/repl/InterpreterLoop.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/Main$.html b/api/dotty/tools/dotc/repl/Main$.html
index 6de39ba69..2d9cdbc48 100644
--- a/api/dotty/tools/dotc/repl/Main$.html
+++ b/api/dotty/tools/dotc/repl/Main$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ManifestInfo$.html b/api/dotty/tools/dotc/repl/ManifestInfo$.html
index f7f6a9c18..a7da69e3a 100644
--- a/api/dotty/tools/dotc/repl/ManifestInfo$.html
+++ b/api/dotty/tools/dotc/repl/ManifestInfo$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/NewLinePrintWriter.html b/api/dotty/tools/dotc/repl/NewLinePrintWriter.html
index ce04a2628..2ece37498 100644
--- a/api/dotty/tools/dotc/repl/NewLinePrintWriter.html
+++ b/api/dotty/tools/dotc/repl/NewLinePrintWriter.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/REPL$.html b/api/dotty/tools/dotc/repl/REPL$.html
index c282811ee..6bf1b5a82 100644
--- a/api/dotty/tools/dotc/repl/REPL$.html
+++ b/api/dotty/tools/dotc/repl/REPL$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/REPL$/Config.html b/api/dotty/tools/dotc/repl/REPL$/Config.html
index db3b170d5..43bf0fe4f 100644
--- a/api/dotty/tools/dotc/repl/REPL$/Config.html
+++ b/api/dotty/tools/dotc/repl/REPL$/Config.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/REPL.html b/api/dotty/tools/dotc/repl/REPL.html
index ba9ddd2c4..ac56990d2 100644
--- a/api/dotty/tools/dotc/repl/REPL.html
+++ b/api/dotty/tools/dotc/repl/REPL.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/SimpleReader.html b/api/dotty/tools/dotc/repl/SimpleReader.html
index 5145246e0..528a29c8f 100644
--- a/api/dotty/tools/dotc/repl/SimpleReader.html
+++ b/api/dotty/tools/dotc/repl/SimpleReader.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/index.html b/api/dotty/tools/dotc/repl/ammonite/index.html
index 6ff36cabb..9880b65cc 100644
--- a/api/dotty/tools/dotc/repl/ammonite/index.html
+++ b/api/dotty/tools/dotc/repl/ammonite/index.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$.html
index 778f41400..5f4d225d6 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Attr$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Attr$.html
index 501464e8c..b4b7d89bd 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Attr$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Attr$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Attr.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Attr.html
index 1c477694d..b423f7aba 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Attr.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Attr.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Back$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Back$.html
index 7ec5eb186..c87f47434 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Back$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Back$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Bold$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Bold$.html
index a20037488..7750f9a1f 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Bold$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Bold$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Category.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Category.html
index 4599e251a..614314f44 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Category.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Category.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Color$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Color$.html
index b77cf1bea..bda0107e5 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Color$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Color$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Reversed$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Reversed$.html
index 2afb3d75c..b5b087f33 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Reversed$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Reversed$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Str$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Str$.html
index 12760ac89..1ecfa52e7 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Str$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Str$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Str.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Str.html
index 7f3f19714..9734873bb 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Str.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Str.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Underlined$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Underlined$.html
index 2ef7aa947..7c3af6016 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Underlined$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Ansi$/Underlined$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/AnsiNav$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/AnsiNav$.html
index 6ab32c27d..6f8f47e15 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/AnsiNav$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/AnsiNav$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/AnsiNav.html b/api/dotty/tools/dotc/repl/ammonite/terminal/AnsiNav.html
index e2b11297b..49db82af4 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/AnsiNav.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/AnsiNav.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/ClearScreen$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/ClearScreen$.html
index 3ae67cb84..7e1e6ab8b 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/ClearScreen$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/ClearScreen$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/ClearScreen.html b/api/dotty/tools/dotc/repl/ammonite/terminal/ClearScreen.html
index d3bb044f5..7f003a80b 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/ClearScreen.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/ClearScreen.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Debug$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Debug$.html
index 9b980cb53..491fa2ada 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Debug$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Debug$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/DelegateFilter.html b/api/dotty/tools/dotc/repl/ammonite/terminal/DelegateFilter.html
index 712000e4f..44a019c25 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/DelegateFilter.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/DelegateFilter.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Exit$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Exit$.html
index 7ce4375bb..7586e3e09 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Exit$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Exit$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Filter$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Filter$.html
index 74ffa2e1d..0ab08e393 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Filter$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Filter$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Filter.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Filter.html
index 52b6e075b..12eec1fa2 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Filter.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Filter.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/FilterTools$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/FilterTools$.html
index 42303014e..2871b7d52 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/FilterTools$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/FilterTools$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$.html
index d0d30aa9c..e10c7b7d8 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/CS.html b/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/CS.html
index e0099470e..e20715a98 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/CS.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/CS.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/CS/p$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/CS/p$.html
index 0dfaa11b4..9f015a895 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/CS/p$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/CS/p$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/~:$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/~:$.html
index 8dfbd2e73..fba0684c3 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/~:$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList$/~:$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList.html b/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList.html
index 1ce1b022d..de71d1175 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/LazyList.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Printing$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Printing$.html
index e62217d7c..8fefcca42 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Printing$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Printing$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Printing.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Printing.html
index c09475ac8..8f95c883c 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Printing.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Printing.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Prompt$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Prompt$.html
index 2d0db8609..f30dcccf7 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Prompt$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Prompt$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Prompt.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Prompt.html
index 68c7fef5e..f50381185 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Prompt.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Prompt.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Result$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Result$.html
index 07686abca..35819fb4a 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Result$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Result$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Result.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Result.html
index 85e06e1a4..e19a7b6fa 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Result.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Result.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/SpecialKeys$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/SpecialKeys$.html
index e47f77bae..c4e3f1a45 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/SpecialKeys$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/SpecialKeys$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/SpecialKeys$/Ctrl$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/SpecialKeys$/Ctrl$.html
index 501159242..fc4a1f08e 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/SpecialKeys$/Ctrl$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/SpecialKeys$/Ctrl$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/TTY$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/TTY$.html
index 0a1682ff2..f9a4002fb 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/TTY$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/TTY$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html b/api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html
index e596b31f3..158367c25 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/TermInfo$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/TermInfo$.html
index 7c5a8198c..7b9b3746e 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/TermInfo$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/TermInfo$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/TermInfo.html b/api/dotty/tools/dotc/repl/ammonite/terminal/TermInfo.html
index c26f6c858..eb5c73865 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/TermInfo.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/TermInfo.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/TermState$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/TermState$.html
index 46e31ee7c..d54758274 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/TermState$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/TermState$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/TermState.html b/api/dotty/tools/dotc/repl/ammonite/terminal/TermState.html
index 8fdc3459d..9df752670 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/TermState.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/TermState.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/Terminal$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/Terminal$.html
index e81a8a3de..df2a54d77 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/Terminal$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/Terminal$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/BasicFilters$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/BasicFilters$.html
index 07836c6ce..9eba640ef 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/BasicFilters$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/BasicFilters$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$.html
index 269d96dfe..cb7f855a9 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$/SelectionFilter$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$/SelectionFilter$.html
index ff5cc5126..2b5d7d989 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$/SelectionFilter$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$/SelectionFilter$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$/SelectionFilter.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$/SelectionFilter.html
index 2f4078cb4..3456382d5 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$/SelectionFilter.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/GUILikeFilters$/SelectionFilter.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/HistoryFilter$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/HistoryFilter$.html
index 4c8b66496..e6d7d8b8a 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/HistoryFilter$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/HistoryFilter$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/HistoryFilter.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/HistoryFilter.html
index aa5c76286..bfa5d4fe7 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/HistoryFilter.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/HistoryFilter.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$.html
index 6e0586e29..3bb658860 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$/CutPasteFilter$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$/CutPasteFilter$.html
index 2b5f782a9..5d3d3e37b 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$/CutPasteFilter$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$/CutPasteFilter$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$/CutPasteFilter.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$/CutPasteFilter.html
index f57fd5201..b3b6eadd6 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$/CutPasteFilter.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/ReadlineFilters$/CutPasteFilter.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoFilter$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoFilter$.html
index f16e3ec9b..faa72916b 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoFilter$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoFilter$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoFilter.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoFilter.html
index 9c922ced4..f32fdc52c 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoFilter.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoFilter.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoState$.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoState$.html
index 33b431e9e..2add0b037 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoState$.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoState$.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoState.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoState.html
index fe3439f48..38356725d 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoState.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/UndoState.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/index.html b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/index.html
index 66c5ebeda..370003e88 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/filters/index.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/filters/index.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/index.html b/api/dotty/tools/dotc/repl/ammonite/terminal/index.html
index 6ece9e609..fc220b691 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/index.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/index.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>
diff --git a/api/dotty/tools/dotc/repl/index.html b/api/dotty/tools/dotc/repl/index.html
index 6b432700b..e47c59743 100644
--- a/api/dotty/tools/dotc/repl/index.html
+++ b/api/dotty/tools/dotc/repl/index.html
@@ -91,7 +91,7 @@
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a>
<ul id="Contributing" class="hide">
- <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li>
+ <li><a href="../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../.././docs/contributing/testing.html">Testing</a></li>
</ul></li>
<li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a>