Krateng 55f0a2ceaf Factored out API key insertion

2019-06-24 15:02:38 +02:00

..

cookies.js

Factored out API key insertion

2019-06-24 15:02:38 +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