diff options
Diffstat (limited to 'options-migrate-user-pref.js')
| -rw-r--r-- | options-migrate-user-pref.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/options-migrate-user-pref.js b/options-migrate-user-pref.js index 07aa8a7..229c0b5 100644 --- a/options-migrate-user-pref.js +++ b/options-migrate-user-pref.js @@ -1,4 +1,4 @@ -var PLUGIN_INFO = +var PLUGIN_INFO = xml` <VimperatorPlugin> <name>{NAME}</name> <description>options migrate user_pref</description> @@ -41,7 +41,7 @@ EOF ||< ]]></detail> -</VimperatorPlugin>; +</VimperatorPlugin>`; (function() { let p = function(msg) { |