diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2026-11-02 02:24:44 +0100 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2026-11-02 02:24:44 +0100 |
| commit | 5e15d0c9cd5d9a432999f242e931951e64404c05 (patch) | |
| tree | 6adb189f37fda347deb165eb57d5fa934db1146d /DESIGN | |
| parent | e2fe861be75ce3d815d4da9122b1821eb099d6fd (diff) | |
Remove the batch syncer, live sync replaced it long ago
Diffstat (limited to 'DESIGN')
0 files changed, 0 insertions, 0 deletions