From f2cb01bbf0e21739e9d165875000cf76fdf627f2 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Fri, 7 Sep 2018 10:01:07 -0700 Subject: [PATCH] chore(lean-mode): rename to lean4-mode --- {lean-mode => lean4-mode}/.gitignore | 0 {lean-mode => lean4-mode}/LICENSE | 0 {lean-mode => lean4-mode}/README.md | 0 {lean-mode => lean4-mode}/lean-debug.el | 0 {lean-mode => lean4-mode}/lean-dev.el | 0 {lean-mode => lean4-mode}/lean-eri.el | 0 {lean-mode => lean4-mode}/lean-flycheck.el | 0 {lean-mode => lean4-mode}/lean-hole.el | 0 {lean-mode => lean4-mode}/lean-info.el | 0 {lean-mode => lean4-mode}/lean-input.el | 0 {lean-mode => lean4-mode}/lean-leanpkg.el | 0 {lean-mode => lean4-mode}/lean-mode.el | 0 {lean-mode => lean4-mode}/lean-right-click.el | 0 {lean-mode => lean4-mode}/lean-settings.el | 0 {lean-mode => lean4-mode}/lean-syntax.el | 0 {lean-mode => lean4-mode}/lean-type.el | 0 {lean-mode => lean4-mode}/lean-util.el | 0 17 files changed, 0 insertions(+), 0 deletions(-) rename {lean-mode => lean4-mode}/.gitignore (100%) rename {lean-mode => lean4-mode}/LICENSE (100%) rename {lean-mode => lean4-mode}/README.md (100%) rename {lean-mode => lean4-mode}/lean-debug.el (100%) rename {lean-mode => lean4-mode}/lean-dev.el (100%) rename {lean-mode => lean4-mode}/lean-eri.el (100%) rename {lean-mode => lean4-mode}/lean-flycheck.el (100%) rename {lean-mode => lean4-mode}/lean-hole.el (100%) rename {lean-mode => lean4-mode}/lean-info.el (100%) rename {lean-mode => lean4-mode}/lean-input.el (100%) rename {lean-mode => lean4-mode}/lean-leanpkg.el (100%) rename {lean-mode => lean4-mode}/lean-mode.el (100%) rename {lean-mode => lean4-mode}/lean-right-click.el (100%) rename {lean-mode => lean4-mode}/lean-settings.el (100%) rename {lean-mode => lean4-mode}/lean-syntax.el (100%) rename {lean-mode => lean4-mode}/lean-type.el (100%) rename {lean-mode => lean4-mode}/lean-util.el (100%) diff --git a/lean-mode/.gitignore b/lean4-mode/.gitignore similarity index 100% rename from lean-mode/.gitignore rename to lean4-mode/.gitignore diff --git a/lean-mode/LICENSE b/lean4-mode/LICENSE similarity index 100% rename from lean-mode/LICENSE rename to lean4-mode/LICENSE diff --git a/lean-mode/README.md b/lean4-mode/README.md similarity index 100% rename from lean-mode/README.md rename to lean4-mode/README.md diff --git a/lean-mode/lean-debug.el b/lean4-mode/lean-debug.el similarity index 100% rename from lean-mode/lean-debug.el rename to lean4-mode/lean-debug.el diff --git a/lean-mode/lean-dev.el b/lean4-mode/lean-dev.el similarity index 100% rename from lean-mode/lean-dev.el rename to lean4-mode/lean-dev.el diff --git a/lean-mode/lean-eri.el b/lean4-mode/lean-eri.el similarity index 100% rename from lean-mode/lean-eri.el rename to lean4-mode/lean-eri.el diff --git a/lean-mode/lean-flycheck.el b/lean4-mode/lean-flycheck.el similarity index 100% rename from lean-mode/lean-flycheck.el rename to lean4-mode/lean-flycheck.el diff --git a/lean-mode/lean-hole.el b/lean4-mode/lean-hole.el similarity index 100% rename from lean-mode/lean-hole.el rename to lean4-mode/lean-hole.el diff --git a/lean-mode/lean-info.el b/lean4-mode/lean-info.el similarity index 100% rename from lean-mode/lean-info.el rename to lean4-mode/lean-info.el diff --git a/lean-mode/lean-input.el b/lean4-mode/lean-input.el similarity index 100% rename from lean-mode/lean-input.el rename to lean4-mode/lean-input.el diff --git a/lean-mode/lean-leanpkg.el b/lean4-mode/lean-leanpkg.el similarity index 100% rename from lean-mode/lean-leanpkg.el rename to lean4-mode/lean-leanpkg.el diff --git a/lean-mode/lean-mode.el b/lean4-mode/lean-mode.el similarity index 100% rename from lean-mode/lean-mode.el rename to lean4-mode/lean-mode.el diff --git a/lean-mode/lean-right-click.el b/lean4-mode/lean-right-click.el similarity index 100% rename from lean-mode/lean-right-click.el rename to lean4-mode/lean-right-click.el diff --git a/lean-mode/lean-settings.el b/lean4-mode/lean-settings.el similarity index 100% rename from lean-mode/lean-settings.el rename to lean4-mode/lean-settings.el diff --git a/lean-mode/lean-syntax.el b/lean4-mode/lean-syntax.el similarity index 100% rename from lean-mode/lean-syntax.el rename to lean4-mode/lean-syntax.el diff --git a/lean-mode/lean-type.el b/lean4-mode/lean-type.el similarity index 100% rename from lean-mode/lean-type.el rename to lean4-mode/lean-type.el diff --git a/lean-mode/lean-util.el b/lean4-mode/lean-util.el similarity index 100% rename from lean-mode/lean-util.el rename to lean4-mode/lean-util.el