Skip to content

Update doc/installation.md

Matthias Käppler requested to merge github/fork/rchamorro/patch-1 into master

Created by: rchamorro

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

Merge request reports