12 update to pullpackage docs#13

zeevachaver wants to merge 14 commits into

vrui-vr:developmentvrui-vr/kinect:developmentfrom

zeevachaver:12-update-to-pullpackage-docszeevachaver/kinect:12-update-to-pullpackage-docsCopy head branch name to clipboard