Remove reference to an option that no longer exists.
tree538453b77b727e49725cd0b607fcd359bdde1198
-rw-r--r-- 1371 .gitmodules
drwxr-xr-x - crawl-ref