Christian Basler 3eeeca34fc Also make snapshots when removing options ...

So we don't have situations where we can't undo a
selection that occurred from removing the second last
option.

2025-03-14 16:26:24 +01:00

..

src

Also make snapshots when removing options

2025-03-14 16:26:24 +01:00

build.gradle.kts

Improvements

2024-08-25 21:55:05 +02:00