{"shas":[["8d1147de55bd9e8bc18f818a61823fbb12bf6e50","8c264afe582279633c4493e866a8d1893d08810c@thorn.ws","Whitespace cleanups","Tommy Thorn"],["53b34129904fa0d7189833fc3924c37ee402fdb3","8c264afe582279633c4493e866a8d1893d08810c@thorn.ws","Fix the ghci script","Tommy Thorn"],["3816039ce9f5497f75835bce89bae6c99a9908a4","8c264afe582279633c4493e866a8d1893d08810c@thorn.ws","Support ISE 13.1","Tommy Thorn"]],"ref":"refs/heads/master","size":3,"head":"3816039ce9f5497f75835bce89bae6c99a9908a4","push_id":37486247}