Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.md 2023-08-11 18:21 1.4K ctikzexample.tex 2023-08-11 18:21 1.5K circledsteps.sty 2023-08-11 18:21 5.2K circledsteps-manual.tex 2023-08-11 18:21 8.8K lppl-1-3c_license.txt 2023-08-11 18:21 19K circledsteps-manual.pdf 2023-08-11 18:21 421K