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/*