Closed fingolfin closed 2 weeks ago
The new links added by @lgoettgens (thanks!) mostly work great but in a few of the oldest version they are broken:
Hopefully we can just fix this with a global search and replace or so.
Resolved in https://github.com/Nemocas/Nemo.jl/pull/1822
The new links added by @lgoettgens (thanks!) mostly work great but in a few of the oldest version they are broken:
Hopefully we can just fix this with a global search and replace or so.