diff options
| author | Erich Eckner <git@eckner.net> | 2019-05-24 14:04:48 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-05-24 14:04:48 +0200 |
| commit | 2b0f8d0f534040e85c1c51b9bf0cf6d635d43714 (patch) | |
| tree | 453949462a5e5c52efc3bd4537733dfbf224b107 /misc | |
| parent | f103d6fd9874a13f416e0cb729a94f28f9674af1 (diff) | |
| download | builder-2b0f8d0f534040e85c1c51b9bf0cf6d635d43714.tar.xz | |
bin/db-update: show names instead of ids for nothing-to-do repository-stability combinations
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions