From 4ac1c674310b49526cc8397f133648a16aa60e8f Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 25 May 2010 22:09:04 -0400 Subject: [PATCH] Rename "plt-installer-header" -> "installer-header" original commit: 2240e546601d60f1a9c9bb05728e8232b57733ec --- .../unix-installer/{plt-installer-header => installer-header} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename collects/meta/build/unix-installer/{plt-installer-header => installer-header} (100%) diff --git a/collects/meta/build/unix-installer/plt-installer-header b/collects/meta/build/unix-installer/installer-header similarity index 100% rename from collects/meta/build/unix-installer/plt-installer-header rename to collects/meta/build/unix-installer/installer-header