docs: remove unused sphinx.ext.intersphinx extension
[git-cola.git] / docs / 
treecce45e8e75cb60d87cb38b041e3af16e6de5a0c9
drwxr-xr-x   ..
-rw-r--r-- 14 .gitignore
-rw-r--r-- 2814 Makefile
drwxr-xr-x - _static
drwxr-xr-x - _templates
-rw-r--r-- 2653 conf.py
-rw-r--r-- 44483 git-cola.rst
-rw-r--r-- 2651 git-dag.rst
-rw-r--r-- 8727 hotkeys.html
-rw-r--r-- 8304 hotkeys_de.html
-rw-r--r-- 8092 hotkeys_zh_CN.html
-rw-r--r-- 8153 hotkeys_zh_TW.html
-rw-r--r-- 283 index.rst
-rw-r--r-- 309 relnotes.rst
-rw-r--r-- 5029 thanks.rst