Differences
This shows you the differences between the selected revisions of the page.
| 2016-10-13 | 2017-01-05 | ||
| no need to set switch parameter explicitly to false by default (martin) | options anchor (martin) | ||
| Line 104: | Line 104: | ||
| </code> | </code> | ||
| - | ===== Options ===== | + | ===== [[options]] Options ===== |
| In the //Session log file// you can specify a path to a [[logging|session log file]]. | In the //Session log file// you can specify a path to a [[logging|session log file]]. | ||