Remove comment

samchesney · samchesney · commit 253eae33dfd3 · 2019-08-19T15:21:19.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -72,7 +72,6 @@ pipeline {
               sh 'xdoc xmospdf'
             }
           }
-          //list-table:: LED Indicator meaning
           dir("${REPO}") {
             runXdoc('doc')
           }

Original file line number	Diff line number	Diff line change
`@@ -72,7 +72,6 @@ pipeline {`
`72`	`72`	`sh 'xdoc xmospdf'`
`73`	`73`	`}`
`74`	`74`	`}`
`75`		`- //list-table:: LED Indicator meaning`
`76`	`75`	`dir("${REPO}") {`
`77`	`76`	`runXdoc('doc')`
`78`	`77`	`}`