2 commits

Author	SHA1	Message	Date
Michael Eischer	310db03c0e	repair index: improve log output if index cannot be deleted ... The operation will always fail with an error if an index cannot be deleted. Thus, this change is purely cosmetic.	2024-04-14 13:45:13 +02:00
Michael Eischer	866ddf5698	repair index: refactor code into repository package	2024-04-10 21:30:52 +02:00