sagedoc.py: Update gap manual URL

Commit

2 years ago

src/sage/misc/sagedoc.py: Update gap manual URL Co-authored-by: Max Horn <max@quendi.de>

References

Author

mkoeppe

Parents