From 0361e0504145957522e59c8e9338d6c3666d98ad Mon Sep 17 00:00:00 2001
From: Christof Marti <chrmarti@microsoft.com>
Date: Thu, 20 Jun 2019 11:01:34 +0200
Subject: [PATCH] Remove duplicate cp

---
 build/gulpfile.reh.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build/gulpfile.reh.js b/build/gulpfile.reh.js
index afdd7e36f4c..2773a8cb430 100644
--- a/build/gulpfile.reh.js
+++ b/build/gulpfile.reh.js
@@ -8,7 +8,6 @@
 const gulp = require('gulp');
 
 const path = require('path');
-const cp = require('child_process');
 const es = require('event-stream');
 const util = require('./lib/util');
 const task = require('./lib/task');