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. @ 893085538c26bddaff8915ab260243a0e79b974e

digital 893085538c minor improvements in the client		7 jaren geleden
..
__init__.py	893085538c minor improvements in the client	7 jaren geleden
client.py	90b5011e95 fixed execve command, now supporting pyenv	7 jaren geleden
server.py	90b5011e95 fixed execve command, now supporting pyenv	7 jaren geleden