From 5c404346a0ecb95d55f4545152b2a6f4fa49baac Mon Sep 17 00:00:00 2001 From: winston Date: Mon, 29 May 2023 14:11:18 +0200 Subject: [PATCH] chore: remove gitmodule (again) --- .gitmodules | 3 --- home/apps/wezterm/types | 1 - 2 files changed, 4 deletions(-) delete mode 100644 .gitmodules delete mode 160000 home/apps/wezterm/types diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 6868a2c..0000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "home/apps/wezterm/types"] - path = home/apps/wezterm/types - url = https://github.com/nekowinston/wezterm-types.git diff --git a/home/apps/wezterm/types b/home/apps/wezterm/types deleted file mode 160000 index 06c1e40..0000000 --- a/home/apps/wezterm/types +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 06c1e4037ab621c14e026b09cc5c93ee403bc0a0