From 8ea3d3c7af2d36546808f7b94f5c29c96a2e6839 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 25 Oct 2012 16:07:54 -0700
Subject: [PATCH] moved dead script

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 scripts/{ => dead}/mk_util_old.py | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename scripts/{ => dead}/mk_util_old.py (100%)

diff --git a/scripts/mk_util_old.py b/scripts/dead/mk_util_old.py
similarity index 100%
rename from scripts/mk_util_old.py
rename to scripts/dead/mk_util_old.py