Krateng f484c768ab Links to full pages are now adjusted by choices in onpage selector		2019-06-17 13:02:06 +02:00
..
cookies.js	Range selections are now saved in cookies	2019-06-17 12:19:56 +02:00
datechange.js	Added wonky date selector, unused so far	2019-04-02 11:40:02 +02:00
rangeselect.js	Links to full pages are now adjusted by choices in onpage selector	2019-06-17 13:02:06 +02:00
search.js	Search API returns more information	2019-05-14 12:07:47 +02:00