Skip to content

Move pkg subdirectory to /usr/local/share/gap#8

Open
laurentbartholdi wants to merge 1 commit intogap-system:masterfrom laurentbartholdi:pkg-in-share
+8-2

Commits

Commits on Apr 22, 2021