frenetic-lang/frenetic — pull request #145 by arjunguha (2013-11-08 10:22:58+00:00)
Title: removed junk that got commited earlier

@seliopou could you determine the source of this screwup? I see it last in my merge.

Also, @basus, I think closing your pull request somehow merged it in. In advertently. See the master.