diff options
| author | jim@bo <jim@bo> | 2018-06-24 18:50:44 -0400 |
|---|---|---|
| committer | jim@bo <jim@bo> | 2018-06-24 18:50:44 -0400 |
| commit | 47637306b8c19b0b7363f9a2642c7190470a2c93 (patch) | |
| tree | 070565ea9211ef7f782b736458ba1acc129493ea /src/Text | |
| parent | a5fad52f1e1ca6d8ebfcbb448f19014225368777 (diff) | |
call setTerminated from destroySession
Diffstat (limited to 'src/Text')
0 files changed, 0 insertions, 0 deletions