diff options
Diffstat (limited to 'doc/monitoring/health_check.md')
-rw-r--r-- | doc/monitoring/health_check.md | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/monitoring/health_check.md b/doc/monitoring/health_check.md deleted file mode 100644 index b611fa388b4..00000000000 --- a/doc/monitoring/health_check.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -redirect_to: '../user/admin_area/monitoring/health_check.md' ---- - -This document was moved to [user/admin_area/monitoring/health_check](../user/admin_area/monitoring/health_check.md). |