diff options
author | Matěj Cepl <mcepl@cepl.eu> | 2015-12-18 11:09:03 +0000 |
---|---|---|
committer | Matěj Cepl <mcepl@cepl.eu> | 2015-12-18 11:09:03 +0000 |
commit | 4f233e25a2e330003ff880c1607932a52a6c9e3f (patch) | |
tree | 61f4bf74ff243b2a170b816444ae2cdb344eee50 /.be/bea86499-824e-4e77-b085-2d581fa9ccab/bugs/301724b1-3853-4aff-8f23-44373df7cf1c | |
parent | 49808306c939de24acabc423024970a76055e52b (diff) | |
parent | 855a04191d72bbf03a1f2f9e44bdb7959e6c987b (diff) | |
download | bugseverywhere-4f233e25a2e330003ff880c1607932a52a6c9e3f.tar.gz |
Merge branch 'readme2' into 'master'
There's no PREFIX variable in Makefile, update mention
I tried to push this to the existing other "readme" branch but gitlab doesn't let me push to a branches used in still open PRs (learning to cope with gitlab still)
See merge request !2
Diffstat (limited to '.be/bea86499-824e-4e77-b085-2d581fa9ccab/bugs/301724b1-3853-4aff-8f23-44373df7cf1c')
0 files changed, 0 insertions, 0 deletions