From dd15dccbfc82ba4f02b3473fd85cf8fe720a3a5c Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Thu, 6 Apr 2017 11:45:14 +0000 Subject: Update gh-pages site for 62c2a1e2d6265cf7f096e4c4e51e4e883bce1514 --- api/dotty/tools/dotc/Bench$.html | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'api/dotty/tools/dotc/Bench$.html') diff --git a/api/dotty/tools/dotc/Bench$.html b/api/dotty/tools/dotc/Bench$.html index df0c868de..e61e0dc4d 100644 --- a/api/dotty/tools/dotc/Bench$.html +++ b/api/dotty/tools/dotc/Bench$.html @@ -319,6 +319,16 @@ +
  • +
    + + O +
    + DesugarEnums +
  • + + +
  • -- cgit v1.2.3