diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-09 10:28:52 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-09 10:28:52 +0100 |
| commit | b5bacd8de3c56f996f8fdd27365e735e71e0c152 (patch) | |
| tree | c6bde9ee4bf9637879c266bf59797cb89527a3e0 /bin/check-opcodes | |
| parent | 920f3351e045c9e2d9aa18706dc86557dd59cc5d (diff) | |
| download | builder-b5bacd8de3c56f996f8fdd27365e735e71e0c152.tar.xz | |
bin/db-update: use repo-copy to avoid needing to pull all moving packages
Diffstat (limited to 'bin/check-opcodes')
0 files changed, 0 insertions, 0 deletions