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

digital f0d91bda32 shutdown called itself instead of async_shutdown		il y a 7 ans
..
__init__.py	f0d91bda32 shutdown called itself instead of async_shutdown	il y a 7 ans
client.py	90b5011e95 fixed execve command, now supporting pyenv	il y a 7 ans
server.py	90b5011e95 fixed execve command, now supporting pyenv	il y a 7 ans