idris-hackers/idris-mode — pull request #238 by hannesm (2014-08-01 10:23:39+00:00)
Title: cleanup makefile - stick to GNU make for now

also remove ibc in test-data