diff options
Diffstat (limited to 'api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html')
-rw-r--r-- | api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html | 2 |
1 files changed, 1 insertions, 1 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 |