diff options
| author | hrxi <hrrrxi@gmail.com> | 2019-08-06 15:35:27 +0200 |
|---|---|---|
| committer | hrxi <hrrrxi@gmail.com> | 2019-08-06 15:38:27 +0200 |
| commit | 94794666d7ac7555a60ba5bb6d7382d776327cb7 (patch) | |
| tree | 40a636f32cb097ed32ea1afdf863c456277808af /configure | |
| parent | 642dac9aa0b90dd2f17df5dddd0e7914a7d306d3 (diff) | |
| download | dino-94794666d7ac7555a60ba5bb6d7382d776327cb7.tar.gz dino-94794666d7ac7555a60ba5bb6d7382d776327cb7.zip | |
Factor out the session-terminate handler
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions