Boost log - some small improvements in documentation.
Also I added function yade.log.getMaxLevel()
to be able to check MAX_LOG_LEVEL
of current build.
Also I added function yade.log.getMaxLevel()
to be able to check MAX_LOG_LEVEL
of current build.