From 29e002e42e1809a9ab21459c1dfedd288b423377 Mon Sep 17 00:00:00 2001
From: Cedric Beust <cedric@beust.com>
Date: Thu, 8 Dec 2016 09:47:01 -0800
Subject: [PATCH] Minor fix.

---
 documentation/index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/documentation/index.html b/documentation/index.html
index ff60c9b..197b8b2 100644
--- a/documentation/index.html
+++ b/documentation/index.html
@@ -302,6 +302,7 @@ dependencies {
     &lt;/defaultRepos&gt;
     &lt;proxies&gt;
         &lt;proxy&gt;
+            &lt;type&gt;http&lt;/type&gt;
             &lt;host&gt;proxy-host.com&lt;/host&gt;
             &lt;port&gt;1234&lt;/port&gt;
         &lt;/proxy&gt;