diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-05-22 19:24:15 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-05-23 07:44:59 +0200 |
| commit | 6a60a24f9ca91dbdb3ea0c123cb72d11c799d334 (patch) | |
| tree | 8fc6c267c8cda7113d3ce4e5998082dfa6847fe2 /doc | |
| parent | 1ee5a76ca24080a6bafa21a0dcb981829fbba46e (diff) | |
#872: Fix a little bug when a client launch its browser.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions