chiark / gitweb /
Merge pull request #5 from xantares/prefix
authorSteven G. Johnson <stevenj@mit.edu>
Tue, 3 Sep 2013 12:09:11 +0000 (05:09 -0700)
committerSteven G. Johnson <stevenj@mit.edu>
Tue, 3 Sep 2013 12:09:11 +0000 (05:09 -0700)
commit35e63778654f55baafbdf554de58ac3c20220c33
treea7defdfe2ef720a288767c8d01a60d595d1df76a
parent3b568370725cba3f29f8995299611365d4e3d64a
parenta55c817a5c8447b54a728f0ab6824122965f5537
Merge pull request #5 from xantares/prefix

Plugins installation honor prefix