chiark / gitweb /
Merge branch 'local-install' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 3 Apr 2017 14:45:45 +0000 (14:45 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 3 Apr 2017 14:45:45 +0000 (14:45 +0000)
commit159ca824b743a0473e1525d04f391f76aae24cc1
tree43de76abb7c43bcce476e69e8c2f049bb299d2a7
parentd8ad1c78c254aec6a10b53df3bba54853a62a397
parent6552c1fa49e6097173146429095a373d29d2b764
Merge branch 'local-install' into 'master'

Fix installs with pip --user

See merge request !244