Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
minor commit: 'Sources' come before 'Documentation' in menu
Because it's more important, and for coherence with the menu on the (future) pages of merlin and coquille.
- Loading branch information