commit 4ac1c674310b49526cc8397f133648a16aa60e8f parent 23fe39c158356fc17f493c74555273085873d1d9 Author: Eli Barzilay <eli@barzilay.org> Date: Tue, 25 May 2010 22:09:04 -0400 Rename "plt-installer-header" -> "installer-header" original commit: 2240e546601d60f1a9c9bb05728e8232b57733ec Diffstat:
| R | collects/meta/build/unix-installer/plt-installer-header -> collects/meta/build/unix-installer/installer-header | | | 0 |
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/collects/meta/build/unix-installer/plt-installer-header b/collects/meta/build/unix-installer/installer-header