diff options
Diffstat (limited to 'api/dotty/tools/dotc/index.html')
| -rw-r--r-- | api/dotty/tools/dotc/index.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/api/dotty/tools/dotc/index.html b/api/dotty/tools/dotc/index.html index de7ec2102..edd39e1ec 100644 --- a/api/dotty/tools/dotc/index.html +++ b/api/dotty/tools/dotc/index.html @@ -322,6 +322,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a> + </div> + <a class="entity-name" href="../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a> </div> <a class="entity-name" href="../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a> |