diff options
Diffstat (limited to 'devel-docs')
-rw-r--r-- | devel-docs/gitlab-ci.rst | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/devel-docs/gitlab-ci.rst b/devel-docs/gitlab-ci.rst index e7769c7b..e40ae425 100644 --- a/devel-docs/gitlab-ci.rst +++ b/devel-docs/gitlab-ci.rst @@ -9,10 +9,6 @@ If you have questions about the CI, mail federico@gnome.org, or `file an issue <https://gitlab.gnome.org/GNOME/at-spi2-core/-/issues>`__ and mention ``@federico`` in it. -Table of contents: - -[[*TOC*]] - Quick overview ============== |