diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2021-01-16 16:32:03 +0100 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2021-01-16 16:32:03 +0100 |
| commit | c56df049d6816630a92e11e57ee1e4267913f18e (patch) | |
| tree | d3217a4d15bb7fab2af1fd74dfe205f09399fae5 /sessions/.empty | |
| parent | 38c21730dcc3e83334bf0c719a7b5d63ed6f90e4 (diff) | |
Turn SessionId_t in its own type
Diffstat (limited to 'sessions/.empty')
0 files changed, 0 insertions, 0 deletions