Skip to content
Snippets Groups Projects
Commit f5020d41 authored by Mikhail Glushenkov's avatar Mikhail Glushenkov
Browse files

Merge pull request #2516 from anton-dessiatov/master 

Eliminate duplicate hsc2hs command line arguments
parents 8d1cc528 44c04f98
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment