Dummy file to keep /docs directory from being removed by git
Git will remove a directory when its files are deleted
