diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-10-30 14:21:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-30 14:21:16 +0100 |
commit | 7f3093d3b98abff26a93b1c3d8e30d9f794919de (patch) | |
tree | aca5abd1c52ac6fca3c554fc5cc336525ef59678 /modules/ogg | |
parent | bfd1f09ac515706e4c55335cf4be22676adefd6d (diff) | |
parent | 9f172b634d97f51c3e2b81fb13f18ed588fd1047 (diff) |
Merge pull request #23399 from ibrahn/reenable-x11-server-build
Allow the server platform to build on linux again.
Diffstat (limited to 'modules/ogg')
0 files changed, 0 insertions, 0 deletions