diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2022-07-12 14:13:32 +0200 |
|---|---|---|
| committer | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2022-07-12 14:13:32 +0200 |
| commit | 3dc35af5e0b194c0f23b6b8cfd24337a2861380a (patch) | |
| tree | b4c3c13bf1eba8156629d8eecced89991f2a3b0a /wrappers/java-android/gradle.properties | |
| parent | fc345f1623d83d3c2e9acb8b3c9139656b2797d1 (diff) | |
State + FSM: Add an easy way to go back to the previous 'Main' state
The 'Main' state here is a main UI menu, e.g. the intial state, the server search page,
the configuring server page or the connected/has config page
Diffstat (limited to 'wrappers/java-android/gradle.properties')
0 files changed, 0 insertions, 0 deletions