search

gap-system / GapWWW

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

Change all https://www.gap-system.org/Manuals/ links to https://docs.gap-system.org #313

Closed fingolfin closed 3 months ago

fingolfin commented 2 years ago

For this repo, PR #314 does it, but we should also check other of our repositories and packages for such links

fingolfin commented 3 months ago

I've resolved all such occurrences I could find at some point. It's up to others to deal with the rest as and if they encounter them