Skip to content

Conversation

marthaisabelhilton
Copy link
Collaborator

No description provided.

@henryiii
Copy link
Member

Also fixing the Doxygen download, which seems to be broken in the current master. While the old path was also an official path, this looks a bit more stable since it does not have a user in it.

@henryiii henryiii merged commit cdf90e7 into master Jan 11, 2019
@henryiii
Copy link
Member

Thanks!

@henryiii henryiii deleted the mhilton_mychanges branch January 11, 2019 15:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants