website/_site/en/assets/source-maps/_assets/javascripts
2023-12-27 13:04:18 +01:00
..
cookie.js first english translation 2022-09-09 18:11:19 +02:00
jquery.js update jQuery to 3.6.1 2022-09-23 17:53:34 +02:00
main.js fix menu mobile 2022-09-24 16:06:20 +02:00
matomo.js update with RSS feed; remove old referral links 2023-12-27 13:04:18 +01:00
simple-jekyll-search.js first english translation 2022-09-09 18:11:19 +02:00