Ignore "repo", the default name for the git repo

This commit is contained in:
Patrick Georgi 2021-10-29 20:54:39 +02:00
parent 8ad1928336
commit d93107e332

3
.gitignore vendored
View file

@ -1 +1,2 @@
gerritcp gerritcp
repo