Skip to content
This repository was archived by the owner on Jul 29, 2026. It is now read-only.

Prepend basename (package name and version) to upload name of manual - #101

Open
zickgraf wants to merge 1 commit into
gap-system:masterfrom
zickgraf:pdf_name
Open

Prepend basename (package name and version) to upload name of manual#101
zickgraf wants to merge 1 commit into
gap-system:masterfrom
zickgraf:pdf_name

Commits

Commits on Aug 30, 2023