path: root/bin/delete-packages
AgeCommit message (Expand)Author
2018-03-14bin/delete-packages: several bug fixes and improvementsErich Eckner
2018-03-12bin/delete-packages: repair deletion of packages on the mirrorErich Eckner
2018-03-12bin/delete-packages: ignore deletion-list and other abstract packages as inst...Erich Eckner
2018-03-12bin/delete-packages: clarify TODOErich Eckner
2018-03-12bin/delete-packages: some startErich Eckner
2018-01-22new todosErich Eckner
2018-01-18put name of creating script into name of temporary directoriesErich Eckner
2017-11-28bin/db-update, bin/delete-packages: exit with 0 in case lock cannot be acquiredErich Eckner
2017-11-13exit more often and more silent if build-master-sanity existentErich Eckner
2017-11-01remove residues of break_loop concerningErich Eckner
2017-10-27add shared lock for sanity-checkErich Eckner
2017-10-23bin/delete-packages: started, still WIPErich Eckner