From c7ef1cd6ac0e5d499cb359ce2bb7503ae03d7cf3 Mon Sep 17 00:00:00 2001 From: Werner Almesberger Date: Tue, 3 Aug 2010 11:46:46 -0300 Subject: [PATCH] Rename index.html to index.htm, in an attempt to work around InDefero's source highlighting. --- index.html => index.htm | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename index.html => index.htm (100%) diff --git a/index.html b/index.htm similarity index 100% rename from index.html rename to index.htm