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. @ f5e765c6978267f23cd58fe54b3996ecfda9cca1

digital f5e765c697 bugfix: fixed bugs introduced in the previous commits		7 years ago
..
__init__.py	f5e765c697 bugfix: fixed bugs introduced in the previous commits	7 years ago
client.py	90b5011e95 fixed execve command, now supporting pyenv	7 years ago
server.py	90b5011e95 fixed execve command, now supporting pyenv	7 years ago