Rishabh fe420931ba FIX: Use updated routes to link user profiles (#60) ...

FIX links to user profiles from the old route `/users/` to the new route `/u/`.

2020-08-18 11:31:05 +02:00

..

javascripts

FIX: Use updated routes to link user profiles (#60)

2020-08-18 11:31:05 +02:00

stylesheets

DEV: Use CSS custom properties for colors in SCSS

2020-08-03 21:21:23 -04:00