Merge pull request #21 from tejonbiker/master
authornotaz <notasas@gmail.com>
Mon, 15 Jul 2013 11:18:17 +0000 (04:18 -0700)
committernotaz <notasas@gmail.com>
Mon, 15 Jul 2013 11:18:17 +0000 (04:18 -0700)
Fix the folder "vmcs_host/linux"


Trivial merge