Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Migrate download of manual to GitHub release
Switch from the manual hosted on Google Code to the just created GitHub release of the manual. Also includes a previously not included French variant.
- Loading branch information