change added from mac
removed merge change
Merge branch 'master' of https://github.com/poser3/Prove-It