diff options
author | 2022-08-29 11:25:58 +1000 | |
---|---|---|
committer | 2022-08-29 11:25:58 +1000 | |
commit | 42391bbb6be913c407933ad064eb31fe63afbcb8 (patch) | |
tree | 48631892760623a3e64dd3bb434299a7fe7972e8 /docs/source/conf.py | |
parent | 7fe2e41f0f3ccbd83befca07373650a7214ae38c (diff) |
Work around older versions of libc++, tidy up some recent changes.
Diffstat (limited to 'docs/source/conf.py')
0 files changed, 0 insertions, 0 deletions