From 9f036cedac589a23077092616637a8a7d8ef0054 Mon Sep 17 00:00:00 2001 From: Phuntsok Drak-pa Date: Tue, 21 Aug 2018 18:25:41 +0200 Subject: [PATCH] removed unused file --- .gitmodules | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 .gitmodules diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index ffc09b8..0000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "org-html-themes"] - path = org-html-themes - url = https://github.com/fniessen/org-html-themes