Update doxygen mirror #15057

Closed
wants to merge 1 commit into
from

Projects

None yet

3 participants

@sharth
Contributor
sharth commented Sep 22, 2012

From my perspective, the doxygen mirror ftp.stack.nl isn't responding.
This patch will cause the install script to pull from sourceforge instead of this particular ftp server.

@sharth sharth Update doxygen mirror
From my perspective, the doxygen mirror ftp.stack.nl isn't responding.
This patch will cause the install script to pull from sourceforge instead of this particular ftp server.
d7f8458
@jacknagel
Contributor

Please add it as a mirror rather than change what appears to be the canonical URL, thanks.

@adamv adamv added a commit that closed this pull request Sep 22, 2012
@adamv adamv doxygen: add mirror
Closes #15057.
f5d14ba
@adamv adamv closed this in f5d14ba Sep 22, 2012
@snakeyroc3 snakeyroc3 pushed a commit to snakeyroc3/homebrew that referenced this pull request Dec 17, 2012
@adamv adamv doxygen: add mirror
Closes #15057.
cfe4353
@xu-cheng xu-cheng locked and limited conversation to collaborators Feb 16, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.