This repository has been archived on 2024-07-22. You can view files and clone it, but cannot push or open issues or pull requests.

Claire 23197cebce Reduce dropdown menu margin and padding (#2301) ... * Reduce dropdown menu margin and padding * Change horizontal padding back to what it was * Reduce separator vertical margins for consistency		2023-07-16 18:23:07 +02:00
..
glitch	Reduce dropdown menu margin and padding (#2301)	2023-07-16 18:23:07 +02:00
vanilla	[Glitch] Add polling and automatic redirection to `/start` on email confirmation	2023-05-25 22:37:14 +02:00