diff options
| author | Erich Eckner <git@eckner.net> | 2018-02-13 13:29:48 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-02-13 13:29:48 +0100 |
| commit | 1c172d7c63a5594c33d4f9408857fe56eddf2694 (patch) | |
| tree | 7ba0f59f4324ab56ebbe01f2a1385491dddec684 /bin/db-update | |
| parent | 8d1294a3ba224c0a1b998772329fd6b4563ec6e6 (diff) | |
| download | builder-1c172d7c63a5594c33d4f9408857fe56eddf2694.tar.xz | |
bin/db-update: remove done TODO
Diffstat (limited to 'bin/db-update')
| -rwxr-xr-x | bin/db-update | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/bin/db-update b/bin/db-update index 13d5f32..83b3370 100755 --- a/bin/db-update +++ b/bin/db-update @@ -16,10 +16,6 @@ # TODO: handle dependencies of parts of a split package separately -# TODO: improve tracking of packages: -# track packages in stable, too -# know _exactly_ in which repository the packages are - # TODO: read information from database # TODO: check if package is to be replaced in target repository |