From 0dfbc001a73c68f32585608889ba4df06d416978 Mon Sep 17 00:00:00 2001
From: Matej Ferencevic <matej.ferencevic@memgraph.io>
Date: Mon, 18 Sep 2017 11:15:18 +0200
Subject: [PATCH] Moved json.hpp to deps server

Reviewers: buda, mislav.bradac

Reviewed By: mislav.bradac

Subscribers: pullbot

Differential Revision: https://phabricator.memgraph.io/D803
---
 libs/setup.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/libs/setup.sh b/libs/setup.sh
index 61b794324..248bc50a4 100755
--- a/libs/setup.sh
+++ b/libs/setup.sh
@@ -106,5 +106,6 @@ rm postgres.tar.gz
 # We use head on Sep 1, 2017 instead of last release since it was long time ago.
 mkdir json
 cd json
-wget "https://raw.githubusercontent.com/nlohmann/json/91e003285312167ad8365f387438ea371b465a7e/src/json.hpp"
+#wget "https://raw.githubusercontent.com/nlohmann/json/91e003285312167ad8365f387438ea371b465a7e/src/json.hpp"
+wget -nv http://deps.memgraph.io/json.hpp
 cd ..