Skip to content

Make Preferences plain data#15

Merged
rustaceanrob merged 1 commit into
masterfrom
8-29-pref
Aug 29, 2025
Merged

Make Preferences plain data#15
rustaceanrob merged 1 commit into
masterfrom
8-29-pref

Make `Preferences` plain data

8d2a08f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.