Fix various small things in docs, see #2707

* Forward port of 2.0.3 erratai,
  commit 93883896b6602341cc001e292f000a93a53d6885
(cherry picked from commit 0025332473518eb7e6606f7923286aacbec8727c)
This commit is contained in:
Patrik Nordwall 2012-11-20 17:53:59 +01:00
parent b06b0fa087
commit c736c9ea5e
7 changed files with 11 additions and 17 deletions

View file

@ -185,7 +185,7 @@ at runtime::
system.eventStream.setLogLevel(Logging.DebugLevel());
This means that log events for a level which will not be logged are not
This means that log events for a level which will not be logged are
typically not dispatched at all (unless manual subscriptions to the respective
event class have been done)