diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-06 12:22:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-06 12:22:07 +0100 |
| commit | d705f780988149598b463e3a43c27bef3d0e3030 (patch) | |
| tree | 3e71a8067d23d39505d1351c10f83f8516ecc618 /platform/server/os_server.h | |
| parent | 40d1b0bfdb62d24d72f1f0102a7caf6f1c14e595 (diff) | |
| parent | 9576ba8cdc68ab4726a816064738d4d936abd8b4 (diff) | |
Merge pull request #35933 from akien-mga/obsolete-dockerfile
Drop obsolete Dockerfile, we now have official build containers
Diffstat (limited to 'platform/server/os_server.h')
0 files changed, 0 insertions, 0 deletions