MiniJavaInScala/mjis — pull request #174 by jspam (2014-12-02 21:38:42+00:00)
Title: Dump FIRM graphs into subdirectory and ignore these files in Git

Fixes #169