Update bookmarklet.js

This commit is contained in:
Bengt Brodersen 2015-01-30 17:43:38 +01:00
parent 7ef84956ff
commit 0d80d19bcb

View File

@ -1,4 +1,4 @@
version = "3.1.12"; version = "3.1.13";
console.log("Version: " + version); console.log("Version: " + version);
var isDev = typeof isDev === 'undefined' || isDev ; var isDev = typeof isDev === 'undefined' || isDev ;