diff --git a/.ignore b/.ignore new file mode 100644 index 0000000..39f633c --- /dev/null +++ b/.ignore @@ -0,0 +1,2 @@ +# This is no longer in .gitignore; we add it here (honored by tools like rg and fd). +llvm/