diff options
Diffstat (limited to 'api/dotty/tools/dotc/repl/ammonite')
-rw-r--r-- | api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html | 2 | ||||
-rw-r--r-- | api/dotty/tools/dotc/repl/ammonite/terminal/index.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html b/api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html index ee956eb75..3aa3b7e3e 100644 --- a/api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html +++ b/api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html @@ -5389,7 +5389,7 @@ </span> <span id="entity-modifiers"> - sealed + </span> <span id="entity-kind"> trait diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/index.html b/api/dotty/tools/dotc/repl/ammonite/terminal/index.html index 95dcb5b31..01ec9b6ae 100644 --- a/api/dotty/tools/dotc/repl/ammonite/terminal/index.html +++ b/api/dotty/tools/dotc/repl/ammonite/terminal/index.html @@ -6480,7 +6480,7 @@ easy-to-remember names</p> </span> <span class="member-modifiers"> - sealed + </span> <span class="member-kind"> trait |