Added a file that was dropped during the conversion to git.