edwinb/Idris-dev — pull request #340 by JanBessai (2013-06-21 17:44:41+00:00)
Title: Added backend target specification to %lib, %link and %include directive...

...s