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/core/Contexts$/RunInfo.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'api/dotty/tools/dotc/core/Contexts$/RunInfo.html') diff --git a/api/dotty/tools/dotc/core/Contexts$/RunInfo.html b/api/dotty/tools/dotc/core/Contexts$/RunInfo.html index 7c764f080..84d67aa04 100644 --- a/api/dotty/tools/dotc/core/Contexts$/RunInfo.html +++ b/api/dotty/tools/dotc/core/Contexts$/RunInfo.html @@ -91,7 +91,7 @@
  • Contributing
  • Internals -- cgit v1.2.3