Francesco Siddi e381ca774e On Page load use replaceState instead of pushState ...

Fix T50797 and replace the id-based url with a custom url for page in the browser's history.

2017-02-27 13:08:56 +01:00

..

scripts

Fix undefined projectTree

2017-01-20 12:10:23 +01:00

styles

Raise z-index of col_right by 1

2017-02-14 16:03:37 +01:00

templates

On Page load use replaceState instead of pushState

2017-02-27 13:08:56 +01:00