From c3a17e460d5eabd023031922d80b18adb6e5f249 Mon Sep 17 00:00:00 2001 From: Wojciech Nawrocki Date: Tue, 29 Jun 2021 12:25:15 -0700 Subject: [PATCH] chore: move license --- vscode-lean4/LICENSE => LICENSE | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename vscode-lean4/LICENSE => LICENSE (100%) diff --git a/vscode-lean4/LICENSE b/LICENSE similarity index 100% rename from vscode-lean4/LICENSE rename to LICENSE