diff options
Diffstat (limited to 'doc/integration/diffblue-cover.md')
| -rw-r--r-- | doc/integration/diffblue-cover.md | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/doc/integration/diffblue-cover.md b/doc/integration/diffblue-cover.md deleted file mode 100644 index fb181f8e95d..00000000000 --- a/doc/integration/diffblue-cover.md +++ /dev/null @@ -1,11 +0,0 @@ ---- -redirect_to: 'diffblue_cover.md' -remove_date: '2024-01-10' ---- - -This document was moved to [another location](diffblue_cover.md). - -<!-- This redirect file can be deleted after <2024-01-10>. --> -<!-- Redirects that point to other docs in the same project expire in three months. --> -<!-- Redirects that point to docs in a different project or site (link is not relative and starts with `https:`) expire in one year. --> -<!-- Before deletion, see: https://docs.gitlab.com/ee/development/documentation/redirects.html --> |