-
ian@well-typed.com authored
I don't think that it matters, but putting it after all the places that alter EXTRA_LIBS is a little nicer.
c862e717
I don't think that it matters, but putting it after all the places that alter EXTRA_LIBS is a little nicer.