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

digital d639d9418a trying to make this rtd compatible		il y a 7 ans
..
_sources	d639d9418a trying to make this rtd compatible	il y a 7 ans
_static	d639d9418a trying to make this rtd compatible	il y a 7 ans
.buildinfo	d639d9418a trying to make this rtd compatible	il y a 7 ans
genindex.html	d639d9418a trying to make this rtd compatible	il y a 7 ans
index.html	d639d9418a trying to make this rtd compatible	il y a 7 ans
objects.inv	d639d9418a trying to make this rtd compatible	il y a 7 ans
search.html	d639d9418a trying to make this rtd compatible	il y a 7 ans
searchindex.js	d639d9418a trying to make this rtd compatible	il y a 7 ans