GitHub PushEvent at 2014-02-18 19:33:39
Repository: lean-osx
Actor: soonhokong
Payload: {"shas":[["d79e9af21014b1d79434ed721ca1f76eee69aa9c","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","fix(frontends/lean): help msg\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true],["5343519e58ce0f86fb2e38617b46f02b2e73bb44","1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","fix(frontends/lean): help msg","Travis CI",true]],"size":2,"ref":"refs/heads/master","head":"5343519e58ce0f86fb2e38617b46f02b2e73bb44"}