From 85e7ff9d49785a70a6678f1f75b503e6819afd54 Mon Sep 17 00:00:00 2001 From: metamuffin Date: Sun, 13 Oct 2024 20:36:41 +0200 Subject: remove repo from git --- .gitignore | 2 +- dist-extra | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) delete mode 160000 dist-extra diff --git a/.gitignore b/.gitignore index 32b8056..f4a12ab 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,3 @@ /index.*.html /index.html -/main +/dist-extra diff --git a/dist-extra b/dist-extra deleted file mode 160000 index e5aa509..0000000 --- a/dist-extra +++ /dev/null @@ -1 +0,0 @@ -Subproject commit e5aa509069e0193e98ba0b5dec06ea7aa9cb7d59 -- cgit v1.2.3-70-g09d2