projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: acbae93) | patch
Fix links when converting kinds documentation to python (#8557)
authorGereon Kremer <gkremer@cs.stanford.edu>
Mon, 4 Apr 2022 22:38:25 +0000 (15:38 -0700)
committerGitHub <noreply@github.com>
Mon, 4 Apr 2022 22:38:25 +0000 (15:38 -0700)
commit3751acca65569ac2a468e8dc3fd02e2b5b5957d7
tree748d0edcd23740816ee7cf175cd9261c41884cf6tree
parentacbae93972405eea9833ae2ac7e2e3b2b383428acommit | diff
Fix links when converting kinds documentation to python (#8557)

This mainly fixes explicit rst links when we convert the kinds comments to python.
src/api/python/genenums.py.in diff | blob | history