util/uuid.lua
changeset 7013 001b3cff4ed8
parent 2957 805b067cd13e
child 7015 990b4ddaf582
child 7060 c633e1338554
--- a/util/uuid.lua	Tue Nov 17 17:01:25 2015 +0000
+++ b/util/uuid.lua	Tue Dec 08 23:20:37 2015 +0100
@@ -7,7 +7,6 @@
 --
 
 
-local m_random = math.random;
 local tostring = tostring;
 local os_time = os.time;
 local os_clock = os.clock;