4 Commits (97789a8858fa65e22bfae4fcaf8914e24d8b111e)

Author	SHA1	Message	Date
Bruno Windels	8b38af856a	put settings and sign out in top left menu for now	2018-10-23 15:25:20 +02:00
Bruno Windels	5f1cf07543	rename TopLeftMenu to TopLeftMenuButton ... so the former can be the actual menu	2018-10-23 13:29:44 +02:00
Matthew Hodgson	30bb7eeeae	tweaks from pairing with @dharmaone	2018-05-26 00:07:39 +01:00
Matthew Hodgson	3bf28a08ec	experiments in dharma	2018-05-25 03:17:29 +01:00