From e0dfe0d24ddca73eb37e500a4231e9fc97de683b Mon Sep 17 00:00:00 2001 From: Chris Rebert Date: Thu, 18 Feb 2016 18:08:43 -0800 Subject: [PATCH] Docs: Remove from Ports #18872 to v4 [skip sauce] --- docs/_includes/header.html | 1 - 1 file changed, 1 deletion(-) diff --git a/docs/_includes/header.html b/docs/_includes/header.html index e7ecb12ab5..51b3cda8bf 100644 --- a/docs/_includes/header.html +++ b/docs/_includes/header.html @@ -2,7 +2,6 @@ -