diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-12-18 14:45:24 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-12-18 14:45:24 +0100 |
| commit | 9851a97ec915ddbfc8357f1a7e2cabae56c89f7d (patch) | |
| tree | f26bedafeab0d09005069833312d389f1ffc2af6 /GNUmakefile | |
| parent | 6b4e342b240baaf18150360986d15895fc80a937 (diff) | |
Documentation fixes, chents is currently a hard dependency
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions