Eike Kettner e406718cb7 Add a way to migrate settings stored at the browser to the server

2021-05-27 21:34:05 +02:00

..

Data.elm

Add a way to migrate settings stored at the browser to the server

2021-05-27 21:34:05 +02:00

Update.elm

Add a way to migrate settings stored at the browser to the server

2021-05-27 21:34:05 +02:00

View2.elm

Only show user menu when successfully logged in

2021-05-22 20:30:05 +02:00