11644: Add DeviceID() to Volume interface.
[arvados.git] / services / nodemanager / .gitignore
1 ../../sdk/python/.gitignore