Ahmed Gagan 945974a5e4 FIX: Change to new discourse plugin-api for advanced search options (#91) ... Changed to new discourse plugin-api and added status:unsolved option		2020-09-11 11:15:34 +01:00
..
javascripts/discourse	FIX: Change to new discourse plugin-api for advanced search options (#91)	2020-09-11 11:15:34 +01:00
stylesheets	UX: anon solved label color should match logged in button	2020-06-09 10:41:57 +08:00