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 /test_usage.sh | |
| 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 'test_usage.sh')
0 files changed, 0 insertions, 0 deletions