rename obsolete - use LocalTestResources in the test framework instead

author Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>

Thu, 13 Oct 2011 16:14:46 +0000 (18:14 +0200)

committer Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>

Thu, 13 Oct 2011 16:14:46 +0000 (18:14 +0200)
author Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 13 Oct 2011 16:14:46 +0000 (18:14 +0200)
committer Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 13 Oct 2011 16:14:46 +0000 (18:14 +0200)
diff --git a/scripts/manage-infrastructure.py b/scripts/manage-infra-obso.py

similarity index 100%

rename from scripts/manage-infrastructure.py

rename to scripts/manage-infra-obso.py
author	Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
	Thu, 13 Oct 2011 16:14:46 +0000 (18:14 +0200)
committer	Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
	Thu, 13 Oct 2011 16:14:46 +0000 (18:14 +0200)