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)
Fix installs with pip --user

See merge request !244


No differences found