Closed ranocha closed 8 months ago
It's nice to have another direct link from the docs to the GitHub repo itself.
With Documenter v1, this is not an issue anymore, or is it?
(GitHub link top right corner)
It's less problematic, yes. But I still find it useful (and it increases the link count for search engines, etc.)
It's nice to have another direct link from the docs to the GitHub repo itself.