Merge pull request #113 from marcbonnici/pull

Target: Add read permissions to tmp files before pulling
tree: 80ebcf07185f87b5307b18a6eeae03a4c6115222
  1. devlib/
  2. doc/
  3. src/
  4. .gitignore
  5. README.rst
  6. setup.py