diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-05-29 18:32:35 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-05-29 18:32:35 +0200 |
| commit | 5bbb67fcacff4df5d3c117a2bd81778d3ba0a53f (patch) | |
| tree | 1e98614c148a028f01e022ec5934c86769dec90a /tools/docker | |
| parent | 6a7530c71882967b90946ef91a2f546dd4a380df (diff) | |
| parent | ea9cde884279a665c89d89915559ae3ddc5f8cc1 (diff) | |
Merge pull request #4814 from neikeq/pr-issue-4805
Debugger: show error message if description is not available
Diffstat (limited to 'tools/docker')
0 files changed, 0 insertions, 0 deletions