runtimeverification/javamop — pull request #63 by seriousamlqz (2014-09-11 20:21:57+00:00)
Title: Add .gitignore in examples/ since double * does not work for git

@owolabileg please review this simple change