diff: add a date label to the DiffWidget
[git-cola.git] / share / doc / git-cola / _themes / sphinx_rtd_theme / 
tree3014748562d306555a9ca86d51b7dee1bd40eaa1
drwxr-xr-x   ..
-rw-r--r-- 371 __init__.py
-rw-r--r-- 1035 breadcrumbs.html
-rw-r--r-- 1323 footer.html
-rw-r--r-- 5439 layout.html
-rw-r--r-- 7341 layout_old.html
-rw-r--r-- 1530 search.html
-rw-r--r-- 354 searchbox.html
drwxr-xr-x - static
-rw-r--r-- 125 theme.conf
-rw-r--r-- 1216 versions.html