From c89c74c0a1762995ee70b57cc428bc978115b881 Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Tue, 11 Apr 2017 10:17:14 +0000 Subject: Update gh-pages site for 579571e05a08120133173933e7eaf2555846d1d7 --- api/dotty/tools/dotc/Bench$.html | 33 ++++++++++++++------------------- 1 file changed, 14 insertions(+), 19 deletions(-) (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 2e11832b8..7b6a6cffc 100644 --- a/api/dotty/tools/dotc/Bench$.html +++ b/api/dotty/tools/dotc/Bench$.html @@ -874,6 +874,16 @@ +
  • +
    + + O +
    + NameKinds +
  • + + +
  • @@ -1284,21 +1294,6 @@ -
  • -
    - - O - - C -
    - TastyName -
  • - - - - - -
  • @@ -3614,21 +3609,21 @@ - - -
  • O - T + C
    FreshNameCreator
  • + + +
  • -- cgit v1.2.3