From a49a578dbf27fb0ce809a368b7f84b459b187ac0 2010-02-09 17:02:03 From: Brian Granger Date: 2010-02-09 17:02:03 Subject: [PATCH] Renaming doc to have the .txt extension we are using. --- diff --git a/docs/source/development/core_design.rst b/docs/source/development/core_design.txt similarity index 100% rename from docs/source/development/core_design.rst rename to docs/source/development/core_design.txt