From b34af13eea3df668c34f4a2a719146fa88b33f64 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ricardo=20Montan=CC=83ana?= Date: Sun, 26 May 2024 17:27:42 +0200 Subject: [PATCH] Add new Files library --- .gitmodules | 3 +++ lib/Files | 1 + 2 files changed, 4 insertions(+) create mode 160000 lib/Files diff --git a/.gitmodules b/.gitmodules index 427ad5a..4278b52 100644 --- a/.gitmodules +++ b/.gitmodules @@ -17,3 +17,6 @@ [submodule "lib/folding"] path = lib/folding url = https://github.com/rmontanana/folding +[submodule "lib/Files"] + path = lib/Files + url = https://github.com/rmontanana/ArffFiles diff --git a/lib/Files b/lib/Files new file mode 160000 index 0000000..dbefa02 --- /dev/null +++ b/lib/Files @@ -0,0 +1 @@ +Subproject commit dbefa02d9c0ca0f029f77e744cd80cb0150725c8