Added Jenkins CI configs for some build machines
[libcds.git] / build /
drwxr-xr-x   ..
drwxr-xr-x - CI
drwxr-xr-x - cmake