Skip to content
GitLab
Explore
Sign in
Register
Humanoid Path Planner
hpp-doc
Repository
hpp-doc
.dockers
ubuntu-14.04
Dockerfile.premade
Find file
Blame
History
Permalink
Revert "[CI] update doxygen to 1.8.15 on 14.04, ref #36"
· 0cdd3cf5
Guilhem Saurel
authored
Feb 07, 2019
As 1.8.15 is too recent, I had to find another link for 1.8.10 instead This reverts commit
230cbb5e
.
0cdd3cf5