Richard van der Hoff 9e96e8e87f Remove guest-only bits of UserSettings ...

There is now no way to open UserSettings as a guest, so we might as well lose
the dead code.

2017-06-12 08:36:41 +01:00

..

structures

Remove guest-only bits of UserSettings

2017-06-12 08:36:41 +01:00

views

Add userid back

2017-06-11 07:13:50 +01:00