Guénaël Muller adf1dd1659 cleanup depot when using delete db command 6 jaren geleden
..
__init__.py WIP Webdav integration 7 jaren geleden
database.py cleanup depot when using delete db command 6 jaren geleden
user.py typing for commands 7 jaren geleden
webdav.py add port, host info to webdav command 7 jaren geleden