Improve cli documentation
The docstring was moved out of scanner docstring spot to work around a
bug in our current Python version. See https://bugs.python.org/issue28739
Its formatting was also improved.
tenma | Authored on Sep 29 2020, 7:47 PM |
tenma | Pushed on Oct 5 2020, 6:19 PM |
Buildable 15900 | |
Build 24473: test-and-build | Jenkins console · Jenkins |