]> granicus.if.org Git - check/commitdiff
Merge pull request #124 from brarcher/remove-include
authorBranden Archer <b.m.archer4@gmail.com>
Tue, 25 Jul 2017 13:39:21 +0000 (09:39 -0400)
committerGitHub <noreply@github.com>
Tue, 25 Jul 2017 13:39:21 +0000 (09:39 -0400)
Define pid_t in check.h for Windows


Trivial merge