Merge pull request #1419 from danielboulby-arm/db/docs
Correct ordering of log levels in documentation
commit 498161a504bdeeb21ea0647422ce484c79664e1b
2 parents 4a410a3 + 9bd5a4c
@Dimitris Papastamos Dimitris Papastamos authored on 14 Jun 2018
GitHub committed on 14 Jun 2018
Showing 1 changed file
View
docs/user-guide.rst