commit | 498161a504bdeeb21ea0647422ce484c79664e1b | [log] [tgz] |
---|---|---|
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Thu Jun 14 13:35:17 2018 |
committer | GitHub <noreply@github.com> | Thu Jun 14 13:35:17 2018 |
tree | 1b2de12b48fd5cff46785237233606bbc9b01cb5 | |
parent | 4a410a3ba30f9a8fd2d5f3b93fb62452b1e80f09 [diff] | |
parent | 9bd5a4ce1e2a4a3bf3b4d69d80bf39348bbefc27 [diff] |
Merge pull request #1419 from danielboulby-arm/db/docs Correct ordering of log levels in documentation