chiark / gitweb /
Merge pull request #108 from jdumas/master
[nlopt.git] / doc / nlopt-mkdocs-theme / img / favicon.png
doc/nlopt-mkdocs-theme/img/favicon.png