projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b15ba1) | patch
docs: Remove 'View page source' link in right corner. (#6771)
authorAina Niemetz <aina.niemetz@gmail.com>
Sat, 19 Jun 2021 02:18:16 +0000 (19:18 -0700)
committerGitHub <noreply@github.com>
Sat, 19 Jun 2021 02:18:16 +0000 (19:18 -0700)
commitaf031c2938f753f555893b39c3cf1f7467b284fc
tree8d0252613b05affd125f53de9ea50f5e6e801313tree
parent5b15ba18c32ed78190b7e71b6bfb64f1f8b8dcabcommit | diff
docs: Remove 'View page source' link in right corner. (#6771)

We don't upload the source files to the website, so this will always be
a 404.
docs/conf.py.in diff | blob | history