rubenwardy 2f458ba40e Remove direct use of jQuery ...

jQuery is still required by jQuery UI

2023-08-26 13:03:29 +01:00

..

static

Remove direct use of jQuery

2023-08-26 13:03:29 +01:00

favicon-16.png

Add favicon

2019-06-07 16:54:33 +01:00

favicon-32.png

Add favicon

2019-06-07 16:54:33 +01:00

favicon-128.png

Add favicon

2019-06-07 16:54:33 +01:00

robots.txt

Add robots.txt to git

2022-10-19 15:08:27 +01:00