Thomas Waldmann 4bdb3c30f9 binary: using the directory build is faster, fixes #8008 1 year ago
..
00_README.txt 4bdb3c30f9 binary: using the directory build is faster, fixes #8008 1 year ago