]> git.immae.eu Git - github/fretlink/purs-loader.git/commitdiff
Merge pull request #13 from ethul/topic/issue-12
authoreric <thul.eric@gmail.com>
Fri, 15 May 2015 02:18:39 +0000 (22:18 -0400)
committereric <thul.eric@gmail.com>
Fri, 15 May 2015 02:18:39 +0000 (22:18 -0400)
Additional loader options


Trivial merge