Javi Martín 0270c4c962 Hide unsaved changes warning after undoing them ...

This way showing the warning is consistent with warning users when
they're leaving the page.

2020-08-05 14:10:22 +02:00

..

fonts

Remove google plus share button

2020-07-17 16:24:20 +02:00

images

Merge pull request #3512 from consul/backport-stats

2019-05-21 17:18:47 +02:00

javascripts

Hide unsaved changes warning after undoing them

2020-08-05 14:10:22 +02:00

stylesheets

Remove redundant progress bar

2020-07-30 16:20:00 +02:00