mirror of
https://gerrit.googlesource.com/git-repo
synced 2025-01-20 16:14:25 +00:00
.gitignore: add an entry for repopickles
Signed-off-by: David Aguilar <davvid@gmail.com>
This commit is contained in:
parent
21c5c34ee2
commit
e020ebee4e