Sanchayan Maity b01b94a251 ripgrep: Add a configuration file ... Primarily contains things we want to be ignored by ripgrep for now. We had been including these in gitignore which was not really correct.		2023-05-15 20:45:48 +05:30
..
ripgrep	ripgrep: Add a configuration file	2023-05-15 20:45:48 +05:30