Index of /docs/manual/main/_static/js

	Name	Last modified	Size	Description

	Parent Directory		-
	badge_only.js	2025-04-28 14:08	934
	html5shiv-printshiv.min.js	2025-04-28 14:08	4.3K
	html5shiv.min.js	2025-04-28 14:08	2.7K
	theme.js	2025-04-28 14:08	4.9K
	versionswitcher.js	2025-04-28 14:08	1.4K

Apache/2.4.62 (Debian) Server at www.domjudge.org Port 443