3021: Tidy up (and document) the choice of exactly which server we expect to run...
[arvados.git] / services / nodemanager / doc /
drwxr-xr-x   ..
-rw-r--r-- 4931 ec2.example.cfg
-rw-r--r-- 1014 local.example.cfg