kfl/verified-monkey-island — pull request #1 by zoren (2013-09-04 11:37:30+00:00)
Title: Update MI2part1.fsm

fixed typo