* implement forgotten removal of repo from sourcedb
when a repo is removed * fix: delete empty entries after removal of a repo
Showing
Please
register
or
sign in
to comment
when a repo is removed * fix: delete empty entries after removal of a repo