aboutsummaryrefslogtreecommitdiff
path: root/gulpfile.js
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2016-07-07 17:59:29 +0200
committerMarcello Stanisci <marcello.stanisci@inria.fr>2016-07-07 17:59:29 +0200
commit1349ec561e34106b1ecdc149e7129fc49960f511 (patch)
tree84942a79f7174412bec4f53196c883b41193fe4a /gulpfile.js
parentd663b3768b8b713571bbefaf0ea7d0a83775bb50 (diff)
fixing #4594
Diffstat (limited to 'gulpfile.js')
-rw-r--r--gulpfile.js2
1 files changed, 1 insertions, 1 deletions
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";