Sanchayan Maity 9e0a966191 git: Clean up git ignore ... We have been adding a few entries to gitignore which we wanted to be ignored by ripgrep for search. Remove them. We will move them to ripgrep configuration.		2023-05-09 16:19:07 +05:30
..
.config/git	git: Clean up git ignore	2023-05-09 16:19:07 +05:30
.gitconfig	git: Set addIgnoredFile to false	2023-05-09 16:19:07 +05:30