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