tree 176a68ec7037b9d63c4fa2236516f0ef7181c4bb
parent ad15ae762c8b3999e626ebccb9cf454455119555
author Yen Chi Hsuan <yan12125@gmail.com> 1509091976 +0800
committer Yen Chi Hsuan <yan12125@gmail.com> 1509091976 +0800

Fix linux detection (closes #303)