Update building.rst
authorJürgen Weigert <jnweiger@gmail.com>
Fri, 7 Jul 2017 14:01:20 +0000 (16:01 +0200)
committerGitHub <noreply@github.com>
Fri, 7 Jul 2017 14:01:20 +0000 (16:01 +0200)
commit186f16e6882a9a33f0282e83296948aca6ee672b
tree4277cf25c00048e3daa3c28c4286924aed1d15cc
parent99b1f69271b230e59b70dd02773ad483046a4328
Update building.rst
doc/building.rst