Paulo Reis 2ee42af1de Change strategy to store selected label; improve the history toolbar layout to accomodate larger labels; fix issues with layout not being updated when changing history view modes.		2018-08-13 13:39:25 +01:00
..
admin
beta_program
blog
general
layout
project	Change strategy to store selected label; improve the history toolbar layout to accomodate larger labels; fix issues with layout not being updated when changing history view modes.	2018-08-13 13:39:25 +01:00
referal
subscriptions
sudo_mode
translations
university
user
view_templates
_metadata.pug
layout.pug
restore.pug
scribtex-modal.pug
sentry.pug
tests.pug
v1-tooltip.pug