Updated CI build machine configs
[libcds.git] / build / CI / VASEx-CI-2 /
drwxr-xr-x   ..
-rw-r--r-- 5010 cds-libs
-rwxr-xr-x 1684 ci-build
-rw-r--r-- 749 ci-env