diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-07-07 17:59:29 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-07-07 17:59:29 +0200 |
commit | 1349ec561e34106b1ecdc149e7129fc49960f511 (patch) | |
tree | 84942a79f7174412bec4f53196c883b41193fe4a /gulpfile.js | |
parent | d663b3768b8b713571bbefaf0ea7d0a83775bb50 (diff) |
fixing #4594
Diffstat (limited to 'gulpfile.js')
-rw-r--r-- | gulpfile.js | 2 |
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"; |