../ battle.dtx 19-Nov-2024 09:47 1932 core.dtx 19-Nov-2024 09:47 1342 dice.dtx 19-Nov-2024 09:47 11K elements.dtx 19-Nov-2024 09:47 3866 misc.dtx 19-Nov-2024 09:47 3993 modifiers.dtx 19-Nov-2024 09:47 1231 oob.dtx 19-Nov-2024 09:47 11K shape.dtx 19-Nov-2024 09:47 27K stack.dtx 19-Nov-2024 09:47 1323 table.dtx 19-Nov-2024 09:47 14K