diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2024-08-17 00:01:46 +0200 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2024-08-17 00:01:51 +0200 |
| commit | d193694e3aa39ed135d399b4772e90b0cce027eb (patch) | |
| tree | c110c08ea67429e2cfcb0fe6fdafae0fcd184b98 /work | |
| parent | 05e142f9462ab87662dcbf484427f463c5ed2c55 (diff) | |
Be more verbose when doing PLZ sorting so that we know the progress
Diffstat (limited to 'work')
0 files changed, 0 insertions, 0 deletions