From 4a8775e18386d91b434a45298b845a05b1bf532c Mon Sep 17 00:00:00 2001 From: Fabian Castelli Date: Mon, 7 Jun 2021 18:26:21 +0200 Subject: [PATCH] Remove .single file --- deal.II-toolchain/platforms/.single | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 deal.II-toolchain/platforms/.single diff --git a/deal.II-toolchain/platforms/.single b/deal.II-toolchain/platforms/.single deleted file mode 100644 index e69de29..0000000 -- 2.39.5