From 599d68f3b14e7945ddea79b5baade4d9baeb5332 Mon Sep 17 00:00:00 2001 From: Andrew Opalach Date: Sun, 5 Apr 2020 23:17:16 -0400 Subject: convert to single header lib and remove outdated frontends --- .gitmodules | 3 --- 1 file changed, 3 deletions(-) mode change 100644 => 100755 .gitmodules (limited to '.gitmodules') diff --git a/.gitmodules b/.gitmodules old mode 100644 new mode 100755 index 98561ca..e69de29 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "ini"] - path = ini - url = https://github.com/Pizzabelly/ini.git -- cgit v1.2.3-101-g0448