Where gap should be placed? #100
Description
My main concerns is where GAP should be put?
Now container installs GAP in:
/opt/gap/gap-${{ GAP_VERSION}}/
Example.
/opt/gap/gap-${{ GAP_VERSION}}/
{{ message }}
My main concerns is where GAP should be put?
Now container installs GAP in:
/opt/gap/gap-${{ GAP_VERSION}}/
Example.
/opt/gap/gap-${{ GAP_VERSION}}/