From 1c9678f21dd037db107ec7088b82511c484b6424 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Thu, 7 May 2020 17:48:48 +0200 Subject: [PATCH] Remove empty libraries directory In commit 067d7e925 (Delete builtin libraries sources) all the libraries in there were removed, since they are all now automatically downloaded during the build. To keep the repository clean, remove the empty directory as well as the build rule that was used to copy libraries from this (now empty) directory into the build result. --- build/build.xml | 4 ---- libraries/.keep | 0 2 files changed, 4 deletions(-) delete mode 100644 libraries/.keep diff --git a/build/build.xml b/build/build.xml index 6ddec0602..2b08fff92 100644 --- a/build/build.xml +++ b/build/build.xml @@ -237,10 +237,6 @@ - - - - diff --git a/libraries/.keep b/libraries/.keep deleted file mode 100644 index e69de29bb..000000000