9dd0a4 Merge pull request #3184 from martinvanzijl/correct-library-path-in-linux-doc

1 file Merged by Rodney 6 years ago , Committed by GitHub 6 years ago ,
    Merge pull request #3184 from martinvanzijl/correct-library-path-in-linux-doc
    
    Correct library path in Linux installation doc
        
file modified
+1 -1