Added a file that was dropped during the conversion to git.
Merge branch 'develop'