diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-12 16:18:25 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-12 16:18:25 +0200 |
| commit | 6fbd2435443e9cc9ca51bcfd640ca88e66941d18 (patch) | |
| tree | f3437b71221e05cd999fddebdf1146d8d0a4ddc2 /bin/clean-git | |
| parent | 7f56d9523dd2c77c7de3d8213f7d55a92ca7a901 (diff) | |
| download | builder-6fbd2435443e9cc9ca51bcfd640ca88e66941d18.tar.xz | |
bin/seed-build-list: should run mysql_cleanup() in the end, too (like bin/get-package-updates)
Diffstat (limited to 'bin/clean-git')
0 files changed, 0 insertions, 0 deletions