Rename sockey2 -> sockeye
[barrelfish] / tools / sockeye / SockeyeChecker.hs
2017-06-13 Daniel SchwynRename sockey2 -> sockeye