From 5a8e48d67262edf20a1d99fa687734c346f3d45e Mon Sep 17 00:00:00 2001 From: "Edward Z. Yang" Date: Sun, 11 Nov 2018 17:05:51 -0500 Subject: [PATCH] Remove php extension from release1-update script, to appease #192 Signed-off-by: Edward Z. Yang --- release1-update.php => update-for-release | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename release1-update.php => update-for-release (100%) diff --git a/release1-update.php b/update-for-release similarity index 100% rename from release1-update.php rename to update-for-release