Merge pull request #32 from dram/add-execve
authorDavid Given <dg@cowlark.com>
Sat, 7 Jan 2017 22:23:00 +0000 (23:23 +0100)
committerGitHub <noreply@github.com>
Sat, 7 Jan 2017 22:23:00 +0000 (23:23 +0100)
Add execve() system call for Linux


Trivial merge