diff options
| -rwxr-xr-x | bin/get-assignment | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 670dfdc..6aefa39 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -13,10 +13,6 @@ # 4: come back, when you've done your work - you hit the limit on # maximum allowed parallel jobs per ip -# TODO: - -# respect build-manually-list ("blocked") - # shellcheck source=conf/default.conf . "${0%/*}/../conf/default.conf" |