idris-lang/Idris-dev — pull request #1628 by victoredwardocallaghan (2014-10-14 09:27:00+00:00)
Title: support/*: Fix-up style of C support source

Make source somewhat more consistent by adopting the Linux
style guide. Cleans up tab/space mixture and the such like.

Signed-off-by: Edward O'Callaghan