diff options
| author | Kirawi | 2024-01-17 14:15:09 +0000 |
|---|---|---|
| committer | GitHub | 2024-01-17 14:15:09 +0000 |
| commit | 6339a8c95a969a40a0db92d6dddd48a1617a1b37 (patch) | |
| tree | 87a5571eea5e6008ac13f074c84a691dda01cf6a | |
| parent | 44cb8e547550648bf942b452acaac0268e30afa9 (diff) | |
Delete .ignore (#9363)
This isn't being used for anything anymore.
| -rw-r--r-- | .ignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.ignore b/.ignore deleted file mode 100644 index 0c4493ee..00000000 --- a/.ignore +++ /dev/null @@ -1,2 +0,0 @@ -# Things that we don't want ripgrep to search that we do want in git -# https://github.com/BurntSushi/ripgrep/blob/master/GUIDE.md#automatic-filtering |