projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f71d55a) | patch
docs: Use light gray for background on the right. (#7438)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 21 Oct 2021 21:37:05 +0000 (14:37 -0700)
committerGitHub <noreply@github.com>
Thu, 21 Oct 2021 21:37:05 +0000 (21:37 +0000)
commit877768903c3b17b88cd27a85995c94d2ada24660
tree8ea8750913ba9483fe89f2f696634858b428c0a6tree
parentf71d55abdbe6a51613a1ff33f24c708f66bf784ecommit | diff
docs: Use light gray for background on the right. (#7438)
docs/_static/custom.css diff | blob | history