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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions