11644: Add DeviceID() to Volume interface.
[arvados.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 87 Gemfile
-rw-r--r-- 607 Gemfile.lock
-rw-r--r-- 1852 README.textile
-rw-r--r-- 1136 Rakefile
-rw-r--r-- 7960 _config.yml
drwxr-xr-x - _includes
drwxr-xr-x - _layouts
drwxr-xr-x - api
drwxr-xr-x - css
drwxr-xr-x - examples
drwxr-xr-x - fonts
-rwxr-xr-x 3737 gen_api_method_docs.py
-rwxr-xr-x 2098 gen_api_schema_docs.py
drwxr-xr-x - images
-rw-r--r-- 4791 index.html.liquid
drwxr-xr-x - install
drwxr-xr-x - js
drwxr-xr-x - sdk
drwxr-xr-x - start
drwxr-xr-x - user
-rw-r--r-- 1792 zenweb-liquid.rb
-rw-r--r-- 301 zenweb-textile.rb