index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-07-20 11:55:09 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-07-20 11:55:09 +0200 |
commit | 7149dcb5609f553697c01951227d69f1b888cf12 (patch) | |
tree | 8300c1434593d82e0702228368ca6f40cfcdc57c /bin | |
parent | 7fda9443ca27c2937c3ba502b45ea6af2556c411 (diff) |
-rwxr-xr-x | bin/seed-build-list | 3 |
diff --git a/bin/seed-build-list b/bin/seed-build-list index cfcd49e..25b7f42 100755 --- a/bin/seed-build-list +++ b/bin/seed-build-list @@ -5,6 +5,9 @@ # shellcheck source=../lib/load-configuration . "${0%/*}/../lib/load-configuration" +# TODO: upon un-deleting a package, actually _remove_ it from the +# deletion-list + # shellcheck disable=SC2016 usage() { >&2 echo '' |