summaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2017-01-31 07:42:39 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2017-01-31 07:42:39 +0100
commit2454dd9077f1d499549791a774687f12c87aeb8e (patch)
tree93c2cb98027af9b60e6731353897674e5a25faad /GNUmakefile
parent5cf14fe9a9fe15e866529ebde14492b56645f6b7 (diff)
Document all arguments of install_PELMO
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint