chiark / gitweb /
Merge pull request #15 from xantares/build-shared-libs-option