diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-07-24 21:31:34 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-07-24 21:31:55 +0200 |
| commit | 7ac03d6a6f2aa950e25235e3f601a413faf62f2e (patch) | |
| tree | 2e1be0b322fe513fb767a2a4967bf10f4c76a9e0 /inst | |
| parent | 459ddcd5fd712ab1cb5a30cf31bd4fa7b432573e (diff) | |
Small improvement to Makefile
Diffstat (limited to 'inst')
0 files changed, 0 insertions, 0 deletions