diff options
| author | derammo <817160+derammo@users.noreply.github.com> | 2022-05-11 11:25:55 -0400 |
|---|---|---|
| committer | derammo <817160+derammo@users.noreply.github.com> | 2022-05-11 11:25:55 -0400 |
| commit | 0571148a4b332fa91d8f55dc370d392809214d14 (patch) | |
| tree | b4fd6d02be9c6cd508f320ea9e53b724715dc5f4 /doc/tools/make_rst.py | |
| parent | b5689309f629dc8a3a32ea29fb8a5ebfee272179 (diff) | |
corrected conditional compile of OpenXR with/without opengl3 driver
Diffstat (limited to 'doc/tools/make_rst.py')
0 files changed, 0 insertions, 0 deletions