commit | cd1e07c9b2c329a3659b0ce6adc8c3323f69a999 | [log] [tgz] |
---|---|---|
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Thu Jun 14 14:35:17 2018 +0100 |
committer | GitHub <noreply@github.com> | Thu Jun 14 14:35:17 2018 +0100 |
tree | 1b2de12b48fd5cff46785237233606bbc9b01cb5 | |
parent | bb48cc74fb51e7c3f0438fd4084c40ccf2190706 [diff] | |
parent | 86c6b076f18f3ae05e0664ddf9c8175527977413 [diff] |
Merge pull request #1419 from danielboulby-arm/db/docs Correct ordering of log levels in documentation
diff --git a/docs/user-guide.rst b/docs/user-guide.rst index f6d0c76..7e50dc1 100644 --- a/docs/user-guide.rst +++ b/docs/user-guide.rst
@@ -486,8 +486,8 @@ :: 0 (LOG_LEVEL_NONE) - 10 (LOG_LEVEL_NOTICE) - 20 (LOG_LEVEL_ERROR) + 10 (LOG_LEVEL_ERROR) + 20 (LOG_LEVEL_NOTICE) 30 (LOG_LEVEL_WARNING) 40 (LOG_LEVEL_INFO) 50 (LOG_LEVEL_VERBOSE)