chiark
/
gitweb
/
~ianmdlvl
/
nlopt.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
cc86c57
)
Fix footer link
author
Julien Schueller
<schueller@phimeca.com>
Thu, 18 Oct 2018 11:41:44 +0000
(13:41 +0200)
committer
Julien Schueller
<schueller@phimeca.com>
Thu, 18 Oct 2018 12:03:35 +0000
(14:03 +0200)
doc/nlopt-mkdocs-theme/footer.html
patch
|
blob
|
history
diff --git
a/doc/nlopt-mkdocs-theme/footer.html
b/doc/nlopt-mkdocs-theme/footer.html
index d4ca08db2952c128151cccfc12158ec2d13dd3cb..667db640ca68465856e83253c71e273b8e7ad9be 100644
(file)
--- a/
doc/nlopt-mkdocs-theme/footer.html
+++ b/
doc/nlopt-mkdocs-theme/footer.html
@@
-18,7
+18,7
@@
</p>
</div>
- <a href="http
://http
s://github.com/stevengj/NLopt">
+ <a href="https://github.com/stevengj/NLopt">
<span class="SmallCaps">NLopt</span> </a> documentation
<p>