From 7b092548837254d1d9c741d31acac402354c0a2b Mon Sep 17 00:00:00 2001 From: Andreas Boll Date: Tue, 18 Sep 2012 18:59:33 +0200 Subject: [PATCH] docs: news.html is the new index.html --- docs/contents.html | 2 +- docs/devinfo.html | 2 +- docs/{news.html => index.html} | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename docs/{news.html => index.html} (100%) diff --git a/docs/contents.html b/docs/contents.html index 1ca1989b446..94b538da1af 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -26,7 +26,7 @@ Documentation