DigiLib is a library which contains generally useful code. Having it in a separate library allows me to easily use it in my projects.

digital d639d9418a trying to make this rtd compatible		il y a 7 ans
docs	d639d9418a trying to make this rtd compatible	il y a 7 ans
gui	90b5011e95 fixed execve command, now supporting pyenv	il y a 7 ans
misc	3447e9cea5 removed fake_wait and did some minor bugfixes	il y a 7 ans
network	e9516d2fa8 typo, forgot a dot somewhere	il y a 7 ans
pin	3d934eab8c removed 'no gpio module' warning'	il y a 7 ans
LICENSE_GNU_FDL.txt	8d801da94e removed log files	il y a 7 ans
LICENSE_GNU_GLP.txt	8d801da94e removed log files	il y a 7 ans
Makefile	d639d9418a trying to make this rtd compatible	il y a 7 ans
NOTICE.txt	f3878decdb Applied GPL v3	il y a 7 ans
__int__.py	90b5011e95 fixed execve command, now supporting pyenv	il y a 7 ans
conf.py	68a1d43b15 trying to make this rtd compatible	il y a 7 ans
index.rst	250ff6a7fe added sphinx for better documentation	il y a 7 ans