From a739b08d12b4a6a3015ccbbb98dd0bc2c546e010 Mon Sep 17 00:00:00 2001 From: Tim Peters Date: Wed, 6 Apr 2005 00:59:02 +0000 Subject: [PATCH] By popular demand from Linux-heads(!), renamed developers to developers.txt. --- Misc/{developers => developers.txt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Misc/{developers => developers.txt} (100%) diff --git a/Misc/developers b/Misc/developers.txt similarity index 100% rename from Misc/developers rename to Misc/developers.txt