Merge pull request #507 from wiebel/patch-1
commit97f71aed5ffd98dc05e88aacc4e8a1ac9f7171c2
authorDominic Clifton <me@dominicclifton.name>
Fri, 20 Feb 2015 13:39:51 +0000 (20 13:39 +0000)
committerDominic Clifton <me@dominicclifton.name>
Fri, 20 Feb 2015 13:39:51 +0000 (20 13:39 +0000)
treeaba5360254b2499ce266120e42df459c062be245
parent2a2b89f58031e19c040be6e6fef34a963bdd05c9
parent733c5fe971120400677f97673dd630f14263a307
Merge pull request #507 from wiebel/patch-1

Some Linux secific remarks