Skip to content
Snippets Groups Projects
Commit 397d6378 authored by Peter Odding's avatar Peter Odding
Browse files

Issue #128: Make saving of GUI font optional

parent 56420893
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment