Skip to content

doxygen: update to 1.8.17 #1579

Merged
merged 1 commit into from Jan 10, 2020
Merged

doxygen: update to 1.8.17 #1579

merged 1 commit into from Jan 10, 2020

Conversation

wwwutz
Copy link
Collaborator

@wwwutz wwwutz commented Jan 10, 2020

  • now flex'es with latest flex
  • be0ify
  • SRCURL

- now flex'es with latest flex
- be0ify
- SRCURL
@pmenzel pmenzel merged commit f98ec05 into master Jan 10, 2020
Sign in to join this conversation on GitHub.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants