diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-09-06 15:12:26 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-09-06 15:12:26 +0200 |
| commit | e18ea5ffeac34aa260e6fb1f7bd805fbbb57f1e6 (patch) | |
| tree | ac2d11dcfa02b1cdb2c400e9bf07e80146bb51a3 /GNUmakefile | |
| parent | 2218c64869a37927b793b88da77c4c90c9307535 (diff) | |
Adapt the IRLS instructions to current version
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions