diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-01-13 14:54:58 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-01-13 14:54:58 +0100 |
| commit | 8975dc148d0a6f222174980eb60314054be9b6cf (patch) | |
| tree | ec0c45d40fc0808eb94885d0c4be582314089174 /GNUmakefile | |
| parent | 891af5d0f1ee8d45cd4403af43293463d23ba96b (diff) | |
Fix warning in README
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions