From 792c6f1169d63547b218d72841bdc8e8a59144c5 Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Fri, 31 Mar 2017 16:08:59 +0000 Subject: Update gh-pages site for d73c8e42ca526ff2c53a17ddd1fa87044dd5bbca --- api/dotty/tools/dotc/printing/Formatting$.html | 2 +- api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html | 2 +- api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html | 2 +- api/dotty/tools/dotc/printing/Formatting$/Seen.html | 2 +- api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html | 2 +- api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Black$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Black.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/BlackB.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Blue$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Blue.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/BlueB.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Bold$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Bold.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Cyan.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/CyanB.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Green$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Green.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/GreenB.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Highlight.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Magenta.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Modifier.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/NoColor.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Red$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Red.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/RedB$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/RedB.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Underlined.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/White$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/White.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/Yellow.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html | 2 +- api/dotty/tools/dotc/printing/Highlighting$/YellowB.html | 2 +- api/dotty/tools/dotc/printing/PlainPrinter.html | 2 +- api/dotty/tools/dotc/printing/Printer.html | 2 +- api/dotty/tools/dotc/printing/Printers.html | 2 +- api/dotty/tools/dotc/printing/RefinedPrinter.html | 2 +- api/dotty/tools/dotc/printing/Showable.html | 2 +- api/dotty/tools/dotc/printing/SyntaxHighlighting$.html | 2 +- api/dotty/tools/dotc/printing/Texts$.html | 2 +- api/dotty/tools/dotc/printing/Texts$/Closed.html | 2 +- api/dotty/tools/dotc/printing/Texts$/Fluid$.html | 2 +- api/dotty/tools/dotc/printing/Texts$/Fluid.html | 2 +- api/dotty/tools/dotc/printing/Texts$/Str$.html | 2 +- api/dotty/tools/dotc/printing/Texts$/Str.html | 2 +- api/dotty/tools/dotc/printing/Texts$/Text$.html | 2 +- api/dotty/tools/dotc/printing/Texts$/Text.html | 2 +- api/dotty/tools/dotc/printing/Texts$/Vertical$.html | 2 +- api/dotty/tools/dotc/printing/Texts$/Vertical.html | 2 +- api/dotty/tools/dotc/printing/index.html | 2 +- 66 files changed, 66 insertions(+), 66 deletions(-) (limited to 'api/dotty/tools/dotc/printing') diff --git a/api/dotty/tools/dotc/printing/Formatting$.html b/api/dotty/tools/dotc/printing/Formatting$.html index c4b27cc65..d3156bc12 100644 --- a/api/dotty/tools/dotc/printing/Formatting$.html +++ b/api/dotty/tools/dotc/printing/Formatting$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html b/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html index ea56b173d..814e3346e 100644 --- a/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html +++ b/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html index f1c47fbc4..3248be529 100644 --- a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html +++ b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Formatting$/Seen.html b/api/dotty/tools/dotc/printing/Formatting$/Seen.html index 00d74ab14..f86c8abfc 100644 --- a/api/dotty/tools/dotc/printing/Formatting$/Seen.html +++ b/api/dotty/tools/dotc/printing/Formatting$/Seen.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html b/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html index 5d7fef8ea..3ee3a11bd 100644 --- a/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html +++ b/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html b/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html index 9cb8938fb..c67f0fb4b 100644 --- a/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html +++ b/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$.html b/api/dotty/tools/dotc/printing/Highlighting$.html index eeb194101..1e4f00b28 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Black$.html b/api/dotty/tools/dotc/printing/Highlighting$/Black$.html index db61d3897..64ddb34d7 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Black$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Black$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Black.html b/api/dotty/tools/dotc/printing/Highlighting$/Black.html index 3003f906d..2fcdb425a 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Black.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Black.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html b/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html index d023ce49e..a3c9fb96a 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html b/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html index 7d6b6c6f4..2a32671e1 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html b/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html index 18cf0fecf..5699aeb41 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Blue.html b/api/dotty/tools/dotc/printing/Highlighting$/Blue.html index 27c16b76e..72e941076 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Blue.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Blue.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html b/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html index 3c66d305b..63af44ce8 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html b/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html index 4951fa1d2..109e32c32 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html b/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html index 8106ed7ca..149dc5433 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Bold.html b/api/dotty/tools/dotc/printing/Highlighting$/Bold.html index 7e4399ca3..3720f6289 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Bold.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Bold.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html b/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html index f6b7aace0..084acc989 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html b/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html index d8a536043..809d3b1f7 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html b/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html index 093526f14..c47b4e444 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html b/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html index 7a4163152..eb27e76a7 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Green$.html b/api/dotty/tools/dotc/printing/Highlighting$/Green$.html index 33c215404..c23dd64ef 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Green$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Green$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Green.html b/api/dotty/tools/dotc/printing/Highlighting$/Green.html index 4c4c972d7..9e6666697 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Green.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Green.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html b/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html index 6bd9360ba..1e529fb88 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html b/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html index f23aeb25a..3f96156d7 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html b/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html index 9e6de5e6a..dabae3ba2 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html index 230df7dfe..197cfe89a 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html index 9099f7d41..3997edd11 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html b/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html index a22fde460..f18af7e9e 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html b/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html index ebf387474..97ff5c106 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html index 2d319e446..85f617dee 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html index 9a877c1dc..01afd9f5d 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html b/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html index 68bc3bf42..aac78298c 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html b/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html index 6b7f6abfa..77ac108af 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html b/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html index 37f3bdbb5..bc909036f 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Red$.html b/api/dotty/tools/dotc/printing/Highlighting$/Red$.html index 4deeab5f2..9f0a1eb79 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Red$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Red$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Red.html b/api/dotty/tools/dotc/printing/Highlighting$/Red.html index 276665e43..ab5069a14 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Red.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Red.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html b/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html index 9b9179bbf..f330d3377 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/RedB.html b/api/dotty/tools/dotc/printing/Highlighting$/RedB.html index 2aac41a76..ecb834710 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/RedB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/RedB.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html b/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html index 5047da4d4..43657ea0a 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html b/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html index 4d32773ab..fcf0a58ff 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/White$.html b/api/dotty/tools/dotc/printing/Highlighting$/White$.html index f0466b34f..cd7ceec14 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/White$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/White$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/White.html b/api/dotty/tools/dotc/printing/Highlighting$/White.html index 5e8c6e19e..9ec324a7b 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/White.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/White.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html index 0fa734c59..ef1afe47d 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html index 13c8596cf..ebe941519 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html b/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html index 260001cc3..6f318ae19 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html b/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html index 19c778fae..11134f11b 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html b/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html index f98beefb9..5adfa2c6f 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html b/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html index 343b0fc39..dd8be7462 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/PlainPrinter.html b/api/dotty/tools/dotc/printing/PlainPrinter.html index 36942e175..1687fc747 100644 --- a/api/dotty/tools/dotc/printing/PlainPrinter.html +++ b/api/dotty/tools/dotc/printing/PlainPrinter.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Printer.html b/api/dotty/tools/dotc/printing/Printer.html index c479b9eb8..6bb23d3c9 100644 --- a/api/dotty/tools/dotc/printing/Printer.html +++ b/api/dotty/tools/dotc/printing/Printer.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Printers.html b/api/dotty/tools/dotc/printing/Printers.html index 246865d18..039d46a36 100644 --- a/api/dotty/tools/dotc/printing/Printers.html +++ b/api/dotty/tools/dotc/printing/Printers.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/RefinedPrinter.html b/api/dotty/tools/dotc/printing/RefinedPrinter.html index 772571a51..0845277bb 100644 --- a/api/dotty/tools/dotc/printing/RefinedPrinter.html +++ b/api/dotty/tools/dotc/printing/RefinedPrinter.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Showable.html b/api/dotty/tools/dotc/printing/Showable.html index 1fcb1ddb7..d53f67fd1 100644 --- a/api/dotty/tools/dotc/printing/Showable.html +++ b/api/dotty/tools/dotc/printing/Showable.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html b/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html index 08abad72d..f88b25253 100644 --- a/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html +++ b/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Texts$.html b/api/dotty/tools/dotc/printing/Texts$.html index 5ff6275d0..102ead20e 100644 --- a/api/dotty/tools/dotc/printing/Texts$.html +++ b/api/dotty/tools/dotc/printing/Texts$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Texts$/Closed.html b/api/dotty/tools/dotc/printing/Texts$/Closed.html index 3467601f0..dd26a6690 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Closed.html +++ b/api/dotty/tools/dotc/printing/Texts$/Closed.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Texts$/Fluid$.html b/api/dotty/tools/dotc/printing/Texts$/Fluid$.html index 0d986f7d8..5553cea20 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Fluid$.html +++ b/api/dotty/tools/dotc/printing/Texts$/Fluid$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Texts$/Fluid.html b/api/dotty/tools/dotc/printing/Texts$/Fluid.html index 970ffb9aa..72337a26f 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Fluid.html +++ b/api/dotty/tools/dotc/printing/Texts$/Fluid.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Texts$/Str$.html b/api/dotty/tools/dotc/printing/Texts$/Str$.html index 568a24a87..31d0fb397 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Str$.html +++ b/api/dotty/tools/dotc/printing/Texts$/Str$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Texts$/Str.html b/api/dotty/tools/dotc/printing/Texts$/Str.html index 9c7c63329..8d9cbf944 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Str.html +++ b/api/dotty/tools/dotc/printing/Texts$/Str.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Texts$/Text$.html b/api/dotty/tools/dotc/printing/Texts$/Text$.html index 9c23a51ae..fde0bc64b 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Text$.html +++ b/api/dotty/tools/dotc/printing/Texts$/Text$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Texts$/Text.html b/api/dotty/tools/dotc/printing/Texts$/Text.html index b19fb8e25..23d530ebf 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Text.html +++ b/api/dotty/tools/dotc/printing/Texts$/Text.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Texts$/Vertical$.html b/api/dotty/tools/dotc/printing/Texts$/Vertical$.html index dd70a59cd..7f461e978 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Vertical$.html +++ b/api/dotty/tools/dotc/printing/Texts$/Vertical$.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/Texts$/Vertical.html b/api/dotty/tools/dotc/printing/Texts$/Vertical.html index dfb879f3c..81fdf124c 100644 --- a/api/dotty/tools/dotc/printing/Texts$/Vertical.html +++ b/api/dotty/tools/dotc/printing/Texts$/Vertical.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals diff --git a/api/dotty/tools/dotc/printing/index.html b/api/dotty/tools/dotc/printing/index.html index ad54e917a..e651bbb3b 100644 --- a/api/dotty/tools/dotc/printing/index.html +++ b/api/dotty/tools/dotc/printing/index.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals -- cgit v1.2.3