Stefan Haller 55d8e801f1 Use getters for AppState and UserConfig instead of accessing the fields directly ...

This will allow us to make them private.

2024-08-18 10:24:52 +02:00

..

basic.go

…

choose_terms.go

…

from_other_branch.go

…

skip.go

…