Skip to content

Update doc/installation.md

username-removed-16033 requested to merge github/fork/rchamorro/patch-1 into master

Update doc/installation.md to make it work with Ubuntu 12.04

Merge request reports