Differences
This shows you the differences between the selected revisions of the page.
| 2018-08-31 | 2018-09-19 | ||
| consistency (martin) | no summary (165.214.11.85) (hidden) (untrusted) | ||
| Line 20: | Line 20: | ||
| ===== Constructors ===== | ===== Constructors ===== | ||
| ^ Name ^ Description ^ | ^ Name ^ Description ^ | ||
| - | | Session() | Default constructor. | | + | | Session() | Default constructor | |
| ===== [[properties]] Properties ===== | ===== [[properties]] Properties ===== | ||