digital/DigiLib: DigiLib is a library which contains generally useful code. Having it in a separate library allows me to easily use it in my projects. @ 3592d7f2488ffde57dfdf56af91f93011122be0f

digital 3592d7f248 bugfix, last commit introduced a syntax error. properly awaiting handle_tasks.cancel_remaining now		8 years ago
..
__init__.py	3592d7f248 bugfix, last commit introduced a syntax error. properly awaiting handle_tasks.cancel_remaining now	8 years ago
client.py	90b5011e95 fixed execve command, now supporting pyenv	8 years ago
server.py	90b5011e95 fixed execve command, now supporting pyenv	8 years ago