Merge branch 'jk/ui-color-always-to-auto-maint' (early part) into jk/ref-filter-color...
[git/gitster.git] / ci / 
tree54a6a12d1baa8fac22f4b44d116917d20e4e2976
drwxr-xr-x   ..
-rwxr-xr-x 875 run-linux32-build.sh
-rwxr-xr-x 2650 run-windows-build.sh
-rwxr-xr-x 684 test-documentation.sh