14 Aug
2013
14 Aug
'13
2:47 p.m.
Wed Aug 14 15:46:45 BST 2013 Edsko de Vries <edsko@well-typed.com> * More accurate check for doc building success Ignore-this: 94c3fd6f242c686326fbd90d10b3752d M ./BuildClient.hs -5 +7 Wed Aug 14 15:46:59 BST 2013 Edsko de Vries <edsko@well-typed.com> * Notify user if docs fail to build Ignore-this: baa4686eea29f8ec7586472fa2195b40 M ./BuildClient.hs -1 +3