Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - battle.dtx 2024-11-19 10:47 1.9K core.dtx 2024-11-19 10:47 1.3K dice.dtx 2024-11-19 10:47 11K elements.dtx 2024-11-19 10:47 3.8K misc.dtx 2024-11-19 10:47 3.9K modifiers.dtx 2024-11-19 10:47 1.2K oob.dtx 2024-11-19 10:47 11K shape.dtx 2024-11-19 10:47 27K stack.dtx 2024-11-19 10:47 1.3K table.dtx 2024-11-19 10:47 14K