Merge branch 'dav-improvements' into 'master'
WebDAV support improvements See merge request !99
Showing
- bob/devtools/ci.py 44 additions, 1 deletionbob/devtools/ci.py
- bob/devtools/data/gitlab-ci/nightlies.yaml 21 additions, 0 deletionsbob/devtools/data/gitlab-ci/nightlies.yaml
- bob/devtools/dav.py 120 additions, 18 deletionsbob/devtools/dav.py
- bob/devtools/scripts/ci.py 51 additions, 0 deletionsbob/devtools/scripts/ci.py
- bob/devtools/scripts/dav.py 63 additions, 8 deletionsbob/devtools/scripts/dav.py
- conda/meta.yaml 7 additions, 0 deletionsconda/meta.yaml
- setup.py 2 additions, 1 deletionsetup.py
Please register or sign in to comment