From 4adc6b4d056f35826d19253e57c0fb6c63ba57d0 Mon Sep 17 00:00:00 2001 From: Pekka Enberg Date: Thu, 6 Oct 2022 20:25:13 +0300 Subject: [PATCH] Drop .fossil-settings We don't use Fossil nor plan to, so drop the config. --- .fossil-settings/empty-dirs | 1 - .fossil-settings/ignore-glob | 1 - 2 files changed, 2 deletions(-) delete mode 100644 .fossil-settings/empty-dirs delete mode 100644 .fossil-settings/ignore-glob diff --git a/.fossil-settings/empty-dirs b/.fossil-settings/empty-dirs deleted file mode 100644 index 64fb6839df..0000000000 --- a/.fossil-settings/empty-dirs +++ /dev/null @@ -1 +0,0 @@ -compat diff --git a/.fossil-settings/ignore-glob b/.fossil-settings/ignore-glob deleted file mode 100644 index 5282ca9c3d..0000000000 --- a/.fossil-settings/ignore-glob +++ /dev/null @@ -1 +0,0 @@ -compat/*