Add deleted.files

samuelet · Jul 29, 2024 · 7dab2b8 · 7dab2b8
1 parent 6936bfc
commit 7dab2b8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/deleted.files b/deleted.files
@@ -0,0 +1,5 @@
+# This is a list of files that were present in previous plugin releases
+# but were removed later. An up to date plugin should not have any of
+# the files installed
+_test\indexmenu_syntax_indexmenu.test.php
+admin.php