From 5f1e00c9371fcf6df9f7d3fdf5f170e40c768a52 Mon Sep 17 00:00:00 2001 From: Daniel Tomlinson Date: Fri, 6 May 2022 02:39:25 +0100 Subject: [PATCH] Removed submodule bat --- .gitmodules | 3 --- bat | 1 - 2 files changed, 4 deletions(-) delete mode 100644 .gitmodules delete mode 160000 bat diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 17827c2..0000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "bat"] - path = bat - url = https://github.com/sharkdp/bat diff --git a/bat b/bat deleted file mode 160000 index ef3e398..0000000 --- a/bat +++ /dev/null @@ -1 +0,0 @@ -Subproject commit ef3e398b2b76d8e6103cbd96aa715740c7809d10