diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-11-18 13:56:41 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-11-18 13:56:41 +0100 |
| commit | 428ecee396e28247f5a1893c459f89ddf252dfd7 (patch) | |
| tree | 3d42c2894d61e4f50b3f207c35f0f3a275915e87 /Doxyfile | |
| parent | f155aff749215b4fb287a915551c18c80abd2540 (diff) | |
do not crash if session is NULL
Diffstat (limited to 'Doxyfile')
0 files changed, 0 insertions, 0 deletions