diff options
| author | Hendrik Tews | 2016-12-09 10:33:03 +0100 |
|---|---|---|
| committer | Hendrik Tews | 2016-12-14 21:18:16 +0100 |
| commit | 527f5922437f25868377408a9eecfc76592d5758 (patch) | |
| tree | b7bc93eb035dea8358eaa3acc2d8f2fc1a5f3bbb /doc | |
| parent | e393e87c0f240ae37286649a415f0020ce75acba (diff) | |
fix parallel build and other issues in Makefile (fixes #130)
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions