Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - ruler.eps 2003-09-04 16:20 466K ps2eps 2003-09-04 16:20 20K ruler.pdf 2003-09-04 16:27 15K pointruler.mp 2009-10-27 22:39 4.4K ruler.tex 2003-09-04 16:20 1.4K README 2003-09-04 16:20 1.0K points.c 2003-09-04 16:20 813 Makefile 2003-09-04 16:20 739 inches.c 2003-09-04 16:20 698