Make default output less verbose (source/object paths)
[ghc.git] / utils / coverity / model.c
2014-04-29  Austin Seipprts: Add an initial Coverity model