Differences
This shows you the differences between the selected revisions of the page.
| 2016-05-31 | 2016-05-31 | ||
| option help (martin) | correcting option sheader (martin) | ||
| Line 181: | Line 181: | ||
| </code> | </code> | ||
| - | === 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]]. | ||