diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-08-18 19:59:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-18 19:59:57 +0200 |
| commit | 2fcf3057fd340311591eb19e7f4cc6d2f1268479 (patch) | |
| tree | a4dcd557dd108dd0336a716fc8706a9926c4c930 /servers/display_server_headless.h | |
| parent | 01675eb75a6bed4820383fd0d200bf5aad71d612 (diff) | |
| parent | c1cd0fe6d108a2ab347025c4ebd3201c55977d4d (diff) | |
Merge pull request #51792 from Chaosus/removed_restart
Diffstat (limited to 'servers/display_server_headless.h')
0 files changed, 0 insertions, 0 deletions