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 /docs | |
parent | 5cf14fe9a9fe15e866529ebde14492b56645f6b7 (diff) |
Document all arguments of install_PELMO
Diffstat (limited to 'docs')
-rw-r--r-- | docs/reference/install_PELMO.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/reference/install_PELMO.html b/docs/reference/install_PELMO.html index 621a2d4..1f83be8 100644 --- a/docs/reference/install_PELMO.html +++ b/docs/reference/install_PELMO.html @@ -79,6 +79,8 @@ <dl class="dl-horizontal"> <dt>version</dt> <dd>The FOCUS PELMO version to install</dd> + <dt>local_zip</dt> + <dd>Do not download, but use the local zip archive specified here</dd> </dl> |