aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html
diff options
context:
space:
mode:
Diffstat (limited to 'api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html')
-rw-r--r--api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html
index c14c2708e..9a97793b4 100644
--- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html
+++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.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>