From 1349ec561e34106b1ecdc149e7129fc49960f511 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Thu, 7 Jul 2016 17:59:29 +0200
Subject: fixing #4594

---
 gulpfile.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'gulpfile.js')

diff --git a/gulpfile.js b/gulpfile.js
index 85a0f6c2b..c2f5319d2 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -11,7 +11,7 @@
  A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
 
  You should have received a copy of the GNU General Public License along with
- TALER; see the file COPYING.  If not, If not, see <http://www.gnu.org/licenses/>
+ TALER; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
  */
 
 "use strict";
-- 
cgit v1.2.3