diff options
Diffstat (limited to 'doc/update/7.1-to-7.2.md')
| -rw-r--r-- | doc/update/7.1-to-7.2.md | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/update/7.1-to-7.2.md b/doc/update/7.1-to-7.2.md deleted file mode 100644 index 8514aa13f48..00000000000 --- a/doc/update/7.1-to-7.2.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -redirect_to: upgrading_from_source.md ---- - -This document was moved to [another location](upgrading_from_source.md). |