Merge remote-tracking branch 'github/merge-requests/393'
authorKlaus Ethgen <Klaus@Ethgen.de>
Sun, 22 May 2016 20:23:16 +0000 (21:23 +0100)
committerKlaus Ethgen <Klaus@Ethgen.de>
Sun, 22 May 2016 20:23:16 +0000 (21:23 +0100)
commit8a0b1ce69f9ae0525f6fc9a063f82b5bc30f87dd
tree6e6192e877174fd03744133b59fb2f1ed0e5748b
parent0b03539c8ffc72e1d515d15fc17ff80dc36f4652
parente3acbed5edae6dcb809115140c8a568ad71c773d
Merge remote-tracking branch 'github/merge-requests/393'

* github/merge-requests/393:
  Fix compilation instructions.