diff options
author | Micah <micah@riseup.net> | 2015-05-07 15:07:38 +0000 |
---|---|---|
committer | Micah <micah@riseup.net> | 2015-05-07 15:07:38 +0000 |
commit | 9b8f961d2f5d805067b037222ddf1011fe972f50 (patch) | |
tree | 5075e03634e201ea190904886052ce530abe9eca /files | |
parent | 12a297b764df59c5f6b611c2f0673531b7e98ee2 (diff) | |
parent | 4bd026dfedc07de63ae5bd8c7ef86eaa70bb6390 (diff) |
Merge branch 'plugin_path' into 'master'
Plugin path
Avoid using lib64 in the path for x86_64 architecture when using debian. this path is not available anymore starting with debian wheezy.
Then lint the file to make it easier to read / maintain.
This is a followup of https://labs.riseup.net/code/issues/4237
See merge request !7
Diffstat (limited to 'files')
0 files changed, 0 insertions, 0 deletions