Joscha 62336b60eb Only save .mima-flags file if there are any flags		2019-11-25 18:28:03 +00:00
..
Main.hs	Only save .mima-flags file if there are any flags	2019-11-25 18:28:03 +00:00