Skip to content
GitLab
Explore
Sign in
bob
bob.devtools
Repository
bob.devtools
bob
devtools
bootstrap.py
Find file
Blame
History
Permalink
[bootstrap] Remove .gitignore file from current checkout to avoid issues with ripgrep (see
!112
)
· 03dfce90
André Anjos
authored
Oct 09, 2019
03dfce90