Reinier Zwitserloot eade3e0736 Removed flash-based video player; these days, who needs it, right?

2017-10-26 00:10:15 +02:00

..

history.js

The great rename: the old ‘website’ is now ‘website-old’, and ‘website2’ is now ‘website’.

2017-05-29 21:02:54 +02:00

main.js

Removed flash-based video player; these days, who needs it, right?

2017-10-26 00:10:15 +02:00