From c12b3b124a9c39becbdf8ac0952892f83cda8a90 Mon Sep 17 00:00:00 2001 From: Matan Yemini Date: Sun, 15 Nov 2020 11:31:34 +0000 Subject: [PATCH] Merged in dev/matan/add_ofri_sandbox-11152020 (pull request #21) add ofri port on map * Adding ofri * adding ofri Approved-by: Ofri Peretz --- fabfile.py | 1 + 1 file changed, 1 insertion(+) diff --git a/fabfile.py b/fabfile.py index 2cce8e5f7bb64b..f73de79ad67733 100644 --- a/fabfile.py +++ b/fabfile.py @@ -22,6 +22,7 @@ "dima": 8090, "timothy": 8091, "alex": 8092, + "ofri": 8093, # Production "class": 8080, "gatech": 8081,