From adf045d4f86225064215dd9a73abc3897b7ee2e2 Mon Sep 17 00:00:00 2001 From: Liu Fengyun Date: Fri, 4 May 2018 16:39:05 +0200 Subject: [PATCH] move notes to 1.1.5 --- notes/{1.1.1 => 1.1.5}/dotty-plugin.md | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename notes/{1.1.1 => 1.1.5}/dotty-plugin.md (100%) diff --git a/notes/1.1.1/dotty-plugin.md b/notes/1.1.5/dotty-plugin.md similarity index 100% rename from notes/1.1.1/dotty-plugin.md rename to notes/1.1.5/dotty-plugin.md