diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-06-18 21:16:29 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-19 04:16:29 +0000 |
commit | 8f98fded91cb6b7a0099d10bd4c5155e9e9ef9b6 (patch) | |
tree | 90d5e8ed91dd5dac6151b5b773fe8b101c341bac /src/api/python/cvc5.pxi | |
parent | 34c5774e511ebb2e5e9672cb7381797c3cd6264e (diff) |
docs: Fix config to produce unique Sphinx section labels. (#6767)
Diffstat (limited to 'src/api/python/cvc5.pxi')
0 files changed, 0 insertions, 0 deletions