Michael Eischer
|
cb50832d50
|
index: let MasterIndex.Save also delete obsolete indexes
|
2024-01-27 12:51:08 +01:00 |
|
Michael Eischer
|
c7b770eb1f
|
convert MemorizeList to be repository based
Ideally, code that uses a repository shouldn't directly interact with
the underlying backend. Thus, move MemorizeList one layer up.
|
2023-10-25 23:01:35 +02:00 |
|
Michael Eischer
|
3fd0ad7448
|
repository: list index files only once
|
2023-10-01 19:53:26 +02:00 |
|
Michael Eischer
|
8e913e6d3a
|
repair index: always read Quiet flags from GlobalOptions passed as parameter
|
2023-05-26 19:38:44 +02:00 |
|
Michael Eischer
|
c05f96e6b9
|
repair index: remove no longer used paramter
|
2023-05-18 21:17:53 +02:00 |
|
Michael Eischer
|
118d599d0a
|
Rename 'rebuild-index' to 'repair index'
The old name still works, but is deprecated.
|
2023-05-01 15:16:44 +02:00 |
|