tools: also show warnings with make ghci
This commit is contained in:
parent
c36244bfe6
commit
f2d4378028
Loading…
Reference in New Issue
Block a user