From 881c3b182fda1036d5a507d08ff85f7709d70703 Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Fri, 3 Feb 2017 18:05:53 +0000 Subject: Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359 --- api/dotty/tools/dotc/config/Properties$.html | 89 ++++++++++++++++++++++++++-- 1 file changed, 84 insertions(+), 5 deletions(-) (limited to 'api/dotty/tools/dotc/config/Properties$.html') diff --git a/api/dotty/tools/dotc/config/Properties$.html b/api/dotty/tools/dotc/config/Properties$.html index 5f9279797..5249b624b 100644 --- a/api/dotty/tools/dotc/config/Properties$.html +++ b/api/dotty/tools/dotc/config/Properties$.html @@ -5321,6 +5321,9 @@
+ + + final @@ -5330,6 +5333,17 @@ Properties + + +
+ + + extends + + PropertiesTrait + +
+
@@ -5339,12 +5353,23 @@
-

Members

+

+ Constructors +

+ +
+ +
+ +

+ Members +

+ [+] @sharable @@ -5370,13 +5395,31 @@
-

Scala manifest attributes.

+
+

Scala manifest attributes.

+
+
+

Scala manifest attributes.

+ +
+
+ [+] @@ -5397,17 +5440,37 @@ - : Class + : Class +[ +Nothing <: Any +]
- +
+ +
+
+ +
+
+ [+] @@ -5433,8 +5496,24 @@
- +
+ +
+
+ +
+
-- cgit v1.2.3