Differences
This shows you the differences between the selected revisions of the page.
| 2016-05-24 | 2016-05-25 | ||
| configurable (martin) | stray space (martin) | ||
| Line 202: | Line 202: | ||
| exit $result | exit $result | ||
| - | ·</code> | + | </code> |
This shows you the differences between the selected revisions of the page.
| 2016-05-24 | 2016-05-25 | ||
| configurable (martin) | stray space (martin) | ||
| Line 202: | Line 202: | ||
| exit $result | exit $result | ||
| - | ·</code> | + | </code> |