Index of /~jburkardt/m_src/mario

	Name	Last modified	Size	Description
	Parent Directory		-
	mario.html	2024-05-04 20:51	2.6K
	mario.m	2023-11-17 20:16	2.9K
	mario_psc.txt	2019-11-07 10:36	117
	mario_psc.sh	2019-11-07 10:36	354
	mario.png	2019-11-01 13:17	7.2K