diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-03-26 17:10:59 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-03-26 17:10:59 +0200 |
| commit | 2a1ece8417df48c4aac54851397e2f0ee87b9f06 (patch) | |
| tree | 66c46ce3a6ee0e1fce054c47589610c4b81d434c /configure | |
| parent | cad2ce3a08ebb5c47798d4b0362d5093689f15b2 (diff) | |
closing client and display upon each exception
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions