From 40c4e8fc0952b0a7905c3cbafe1aeb7c9be47e2c Mon Sep 17 00:00:00 2001 From: ines Date: Tue, 14 Nov 2017 20:26:05 +0100 Subject: [PATCH] Remove "optional" from dev_data arg and add more info (see #1578) --- website/api/cli.jade | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/api/cli.jade b/website/api/cli.jade index b0913e60c..cb98ec279 100644 --- a/website/api/cli.jade +++ b/website/api/cli.jade @@ -257,7 +257,7 @@ p +row +cell #[code dev_data] +cell positional - +cell Location of JSON-formatted dev data (optional). + +cell Location of JSON-formatted development data for evaluation. +row +cell #[code --n-iter], #[code -n]