Closed jmirabel closed 3 years ago
Maybe we should provide instructions for Qt5 instead, don't you think ? But this can be treated in another issue / PR
I agree with your proposition but I prefer to keep this for a separate discussion.
I agree with this pull request. In order to keep the tree readable, I suggest that you push your commits directly on master without merging.
I pushed both master and gh-pages at the same time.
This PR addresses one point of https://github.com/humanoid-path-planner/hpp-doc/issues/65