From 73f74cb2d40bc6a8ff3a0944a1706de91fe7f535 Mon Sep 17 00:00:00 2001 From: Dmitry Petrashko Date: Mon, 4 May 2015 12:59:23 +0200 Subject: Update README.md --- README.md | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index 7715a29c9..d7d23a625 100644 --- a/README.md +++ b/README.md @@ -12,3 +12,12 @@ We expect that, over time, some of the new technologies explored in this project If you want to try it out, to get started have a look at https://github.com/lampepfl/dotty/wiki/Getting-Started. Developers mailing list is https://groups.google.com/forum/#!forum/dotty-internals. + + +  + +  + +![YourKit](https://www.yourkit.com/images/yklogo.png) supports open source projects with its full-featured Java Profiler. + +YourKit, LLC is the creator of [YourKit Java Profiler](https://www.yourkit.com/java/profiler/index.jsp). -- cgit v1.2.3