diff options
| author | 2020-04-05 23:17:16 -0400 | |
|---|---|---|
| committer | 2020-04-05 23:17:16 -0400 | |
| commit | 599d68f3b14e7945ddea79b5baade4d9baeb5332 (patch) | |
| tree | 7d758473944697d07c8a584777ad16f7581cc032 /.gitmodules | |
| parent | 3b0e0f4788a3476ef848f1e54b0afae7a60bcdfe (diff) | |
| download | cetris-599d68f3b14e7945ddea79b5baade4d9baeb5332.tar.gz cetris-599d68f3b14e7945ddea79b5baade4d9baeb5332.tar.bz2 cetris-599d68f3b14e7945ddea79b5baade4d9baeb5332.zip | |
convert to single header lib and remove outdated frontends
Diffstat (limited to '.gitmodules')
| -rwxr-xr-x[-rw-r--r--] | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 98561ca..e69de29 100644..100755 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "ini"] - path = ini - url = https://github.com/Pizzabelly/ini.git |