Delete obsolete .ignore for former prelude submodule

renewedvision · Oct 26, 2024 · d624278 · d624278
1 parent 46fedc6
commit d624278
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/tools/buck/.ignore b/tools/buck/.ignore