Index of /~weidlima

	Name	Last modified	Size	Description
	Parent Directory		-
	bib/	2022-10-08 21:37	-
	check.php	2022-02-10 22:19	19
	google40098df7b0b90a28.html	2022-11-06 23:11	53
	index.html-not-ok	2020-05-15 11:23	9
	pubs/	2022-10-17 16:37	-