diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-14 17:06:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-14 17:06:20 +0100 |
| commit | 89eb79aef1aac645358664a8245afe35b30da130 (patch) | |
| tree | c45bd2d1f39b93327b0badeb94a39fd4e8c618cd /doc/tools | |
| parent | c6c788581e31e8c91c8df71a156081340eb27ebc (diff) | |
| parent | 84627140d79ae88ba84d997010a23f6e000c8bf8 (diff) | |
Merge pull request #25879 from hpvb/fix-25629
Detect when primusrun/optirun is in use
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions