Added Jenkins CI configs for some build machines
[libcds.git] / build / CI /
drwxr-xr-x   ..
drwxr-xr-x - VASEx-CI-2
drwxr-xr-x - VASEx-CI
-rw-r--r-- 3683 cmake-gen
-rw-r--r-- 615 gen-all