Index of /~michael/jsxgraph-nightly/2021-12-19.2100

	Name	Last modified	Size	Description
	Parent Directory		-
	jsxgraphcore.js	2021-12-19 21:53	712K
	jsxgraph.js	2021-12-19 21:53	3.0M
	jsxgraph.css	2021-12-19 21:53	3.1K
	index.d.ts	2021-12-19 21:53	164K
	HEAD	2021-12-19 21:53	237