idris-lang/Idris-dev — pull request #1317 by melted (2014-06-17 07:31:51+00:00)
Title: Unbreak windows build of idris_net.c

Shoo away the header files from idris_net.h yet again.