Bruno Windels 8357260133 fix an applying an url also pushing a copy of the url back on history ... it should replace instead, as it is a redirect		2020-10-19 12:55:42 +02:00
..
index.js	more tests	2020-10-13 13:13:47 +02:00
Navigation.js	reduce navigation boilerplate	2020-10-16 12:46:14 +02:00
URLRouter.js	fix an applying an url also pushing a copy of the url back on history	2020-10-19 12:55:42 +02:00