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