Rename some properties
Description
Description
Details
Details
- Provenance
machniak Authored on Aug 27 2020, 4:20 PM machniak Pushed on Sep 1 2020, 3:38 PM - Parents
- rK9477a765778c: Fix some bugs on ending a session, other UI improvements
- Branches
- Unknown
- Tags