chiark / gitweb /
cleanup already existing db-entries and db-index on device update