Krateng 289a1dc076 API key cookie no longer expires on session end		2019-06-28 22:14:05 +02:00
..
cookies.js	API key cookie no longer expires on session end	2019-06-28 22:14:05 +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