Reverts previous change as it wasn't needed. No issue #
[arvados-dev.git] / jenkins / make-package-list.sh
2020-02-14 Peter AmstutzAdd make-package-list script