diff options
| author | Morph <39850852+Morph1984@users.noreply.github.com> | 2022-10-07 15:10:06 -0400 |
|---|---|---|
| committer | Morph <39850852+Morph1984@users.noreply.github.com> | 2022-10-07 15:11:26 -0400 |
| commit | 1e35ade1ecfb37cd8e4f7d5211d5f7a6f0c4cf9c (patch) | |
| tree | 313781d6a789e5c0227a733e613cfd4794009ee7 /.ci/scripts/merge/apply-patches-by-label.py | |
| parent | b8777b6653fc6d07677130b7300bf8bd8a3cbc08 (diff) | |
configure_graphics: Fix graphics API selection when a game is running
The graphics API setting should not be changed when a game is running.
Diffstat (limited to '.ci/scripts/merge/apply-patches-by-label.py')
0 files changed, 0 insertions, 0 deletions