Skip to content

Change 'bin/gap.sh' to 'gap' as 'bin/gap.sh' has been removed (#16) #46

Change 'bin/gap.sh' to 'gap' as 'bin/gap.sh' has been removed (#16)

Change 'bin/gap.sh' to 'gap' as 'bin/gap.sh' has been removed (#16) #46