From d451fef0ab66d124235745498c39c6be08b5e50a Mon Sep 17 00:00:00 2001 From: Noam Postavsky Date: Sat, 23 Nov 2013 16:53:00 -0500 Subject: [PATCH] rename manual.org to index.org --- doc/{manual.org => index.org} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/{manual.org => index.org} (100%) diff --git a/doc/manual.org b/doc/index.org similarity index 100% rename from doc/manual.org rename to doc/index.org