robertlugg/easygui — pull request #7 by robertlugg (2014-11-17 07:57:15+00:00)
Title: pycharm IDE changes.

I may ultimately exclude these from checking as they aren't too useful
to anyone other than me.