diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-01-31 07:42:39 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-01-31 07:42:39 +0100 |
| commit | 2454dd9077f1d499549791a774687f12c87aeb8e (patch) | |
| tree | 93c2cb98027af9b60e6731353897674e5a25faad /GNUmakefile | |
| parent | 5cf14fe9a9fe15e866529ebde14492b56645f6b7 (diff) | |
Document all arguments of install_PELMO
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions