11644: Add DeviceID() to Volume interface.
-rw-r--r-- 370 .gitignore
-rw-r--r-- 845 COPYING
-rw-r--r-- 11358 LICENSE-2.0.txt
-rw-r--r-- 583 Makefile
-rw-r--r-- 3064 README.md
-rw-r--r-- 34520 agpl-3.0.txt
drwxr-xr-x - apps
drwxr-xr-x - backports
drwxr-xr-x - build
-rw-r--r-- 17802 by-sa-3.0.txt
drwxr-xr-x - crunch_scripts
drwxr-xr-x - doc
drwxr-xr-x - docker
drwxr-xr-x - lib
drwxr-xr-x - sdk
drwxr-xr-x - services
drwxr-xr-x - tools