From 6b1b722240a1155cacc92ba083b4efd43ee67beb Mon Sep 17 00:00:00 2001
From: Moritz Maxeiner <mm@ucw.sh>
Date: Thu, 6 Dec 2018 16:58:08 +0100
Subject: [PATCH] Fix profile

---
 ubuntu18.04/mxnet_profile.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ubuntu18.04/mxnet_profile.sh b/ubuntu18.04/mxnet_profile.sh
index 465c8dc..62c1308 100755
--- a/ubuntu18.04/mxnet_profile.sh
+++ b/ubuntu18.04/mxnet_profile.sh
@@ -1,2 +1,2 @@
 #! /bin/sh
-export MXNet_DIR=/opt/mxnet-1.3.0
\ No newline at end of file
+export MXNet_DIR=/opt/mxnet-1.3.1
\ No newline at end of file
-- 
GitLab