Halfdan 7b4e3ac695 Highlighting of current page stopped working, something with new URLS, this fix fixes it, but I don't know if it is the correct way to accomplish it.		2022-12-13 20:24:39 +01:00
..
datacoop2020	Highlighting of current page stopped working, something with new URLS, this fix fixes it, but I don't know if it is the correct way to accomplish it.	2022-12-13 20:24:39 +01:00