From b05a11478edc7e6d1e38ef7f8d6788c7bd917493 Mon Sep 17 00:00:00 2001 From: Daniel Stone Date: Sun, 8 Oct 2006 21:23:12 +0300 Subject: [PATCH] doc/extensions: rename to c-extensions The old name could be somewhat confusing. --- doc/{extensions => c-extensions} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/{extensions => c-extensions} (100%) diff --git a/doc/extensions b/doc/c-extensions similarity index 100% rename from doc/extensions rename to doc/c-extensions