SemanticDiff EveryVoice
fix: handle ctrl-c in a consistent way, always aborting
#107
Merged

Loading