| commit | 498161a504bdeeb21ea0647422ce484c79664e1b | [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 | 4a410a3ba30f9a8fd2d5f3b93fb62452b1e80f09 [diff] | |
| parent | 9bd5a4ce1e2a4a3bf3b4d69d80bf39348bbefc27 [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)