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