From af0a980ec5d0c309e1cfc47943e1abf142ad5ca7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Eray=20=C3=96zkural?= Date: Thu, 17 Nov 2005 19:37:00 +0000 Subject: [PATCH] a silly tool --- tools/{cat-source-repo.py => check-source-repo.py} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tools/{cat-source-repo.py => check-source-repo.py} (100%) diff --git a/tools/cat-source-repo.py b/tools/check-source-repo.py similarity index 100% rename from tools/cat-source-repo.py rename to tools/check-source-repo.py