| 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