diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-07-22 08:35:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-22 08:35:26 +0200 |
| commit | 82d18f4c1c468e58268f3d27db00c342205a1b60 (patch) | |
| tree | b710b725c3ae539ce12e06f277e0acb0424cadec /servers | |
| parent | 51b03f0bf5af5cb6041b454a846061b5a7ff2d4c (diff) | |
| parent | 503f9ab9d978254b88c74f8f8c1ee1c3abe2069e (diff) | |
Merge pull request #5845 from hurikhan/x11_cleanup
Code cleanup in platform/x11
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions