From 06ab0d4331daaa4c620cf405fdb6d3b3e53d8737 Mon Sep 17 00:00:00 2001
From: wushin <pasekei@gmail.com>
Date: Thu, 19 Feb 2015 23:15:45 -0600
Subject: Make Warp Names Unique

---
 tools | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools b/tools
index 25b7f281..1e5f8846 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit 25b7f28166bcafcfae21bff3abd1ae87c51b60ca
+Subproject commit 1e5f884636e4f96ab39dd38866544f9cd9668d74
-- 
cgit v1.2.3-60-g2f50