search

gap-system / GapWWW

Source for the GAP website
https://www.gap-system.org
Other
11 stars 26 forks source link

Remove mentions of directories with spaces for GAP 4.12 #290

Closed ChrisJefferson closed 2 years ago

ChrisJefferson commented 2 years ago

There is no need to worry about spaces in GAP 4.12.

I haven't been able to build this to test it (sorry!) as my computer is being stupid.