summaryrefslogtreecommitdiff
path: root/platform/x11
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <remi@verschelde.fr>2016-06-19 13:10:23 +0200
committerGitHub <noreply@github.com>2016-06-19 13:10:23 +0200
commite76f744c36234b5b4043c68c7d20a3d2e22d7a8c (patch)
tree9b049c7657e264063fb57419efe0137a9a72a10e /platform/x11
parentdf202127e3096c7e8b5188c4d29f38b03cae1658 (diff)
parent422fac5066b704cb2bf251000869b5b94e188c85 (diff)
Merge pull request #5283 from djrm/remove_prints
Removed lots of prints
Diffstat (limited to 'platform/x11')
0 files changed, 0 insertions, 0 deletions