plugins/jingle.lua

changeset 392
cdea6a28369e
parent 380
0891b4e27766
child 457
73d4eb93657b
--- a/plugins/jingle.lua	Tue Aug 25 16:27:38 2015 +0200
+++ b/plugins/jingle.lua	Tue Aug 25 18:03:10 2015 +0200
@@ -1,5 +1,4 @@
 local verse = require "verse";
-local sha1 = require "util.sha1".sha1;
 local timer = require "util.timer";
 local uuid_generate = require "util.uuid".generate;
 

mercurial