From ae57ffec41feb58aa2f71db2c93885b4c4a770f5 Mon Sep 17 00:00:00 2001 From: Travis CI Date: Wed, 10 Jan 2018 10:47:16 +0000 Subject: [PATCH] Deploy to GitHub Pages: 6cff3c96dbf6a1e95ea648efbcb20c99fcba91d9 --- develop/doc/operators.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/develop/doc/operators.json b/develop/doc/operators.json index b13829be031..aa3b06cef0c 100644 --- a/develop/doc/operators.json +++ b/develop/doc/operators.json @@ -2485,7 +2485,7 @@ }, { "name" : "device_type", "type" : "string", - "comment" : "device type must be in [\"CPU\", \"CUDA\"]", + "comment" : "device type", "generated" : 0 } ] },{ -- GitLab