diff options
| author | Franck Cuny <franck@fcuny.net> | 2022-10-29 13:19:56 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2022-10-29 13:19:56 -0700 |
| commit | c6922efc1851604dd4ca09d0699e7d06f028ded8 (patch) | |
| tree | 1a633df5199f6a3a5d40ed8d5b740ac8d4aaaa6e /home/git | |
| parent | fix(tools): install dependencies correctly (diff) | |
| download | world-c6922efc1851604dd4ca09d0699e7d06f028ded8.tar.gz | |
fix(home): remove various shell functions related to gerrit
I'm not using gerrit anymore.
Diffstat (limited to 'home/git')
0 files changed, 0 insertions, 0 deletions