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

	Name	Last modified	Size	Description

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

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