We have no submodules, so no need for .gitmodules file.