From bf439b9e4b45ff729abb4e66a46a93874fa5dfb9 Mon Sep 17 00:00:00 2001
From: Greg Burri <greg.burri@gmail.com>
Date: Tue, 13 May 2008 11:54:55 +0000
Subject: [PATCH] MOD renommage de tool en tools

---
 {tool => tools}/jsmin.rb | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename {tool => tools}/jsmin.rb (100%)

diff --git a/tool/jsmin.rb b/tools/jsmin.rb
similarity index 100%
rename from tool/jsmin.rb
rename to tools/jsmin.rb
-- 
2.43.0