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