Filename Modification time Size README 2026-11-09 22:13 CET 1691 B makecmds.dtx 2026-11-09 22:13 CET 13 KiB makecmds.ins 2026-11-09 22:13 CET 1814 B makecmds.pdf 2026-11-09 22:13 CET 199 KiB