From 136e1a48df7f8a228e82dd54bfc28a1c09ae79c4 Mon Sep 17 00:00:00 2001 From: Thomas Moulard <thomas.moulard@gmail.com> Date: Fri, 29 Oct 2010 18:39:38 +0200 Subject: [PATCH] Remove unwanted file. --- index.html | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 index.html diff --git a/index.html b/index.html deleted file mode 100644 index 256eadf..0000000 --- a/index.html +++ /dev/null @@ -1,20 +0,0 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" - "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> - -<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> -<head> - <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> - - <title>jrl-umi3218/dynamic-graph @ GitHub</title> - -<script type="text/javascript"> -<!-- -window.location = "http://github.com/jrl-umi3218/dynamic-graph/wiki" -//--> -</script></head> - -<body> - <a href="http://github.com/jrl-umi3218/dynamic-graph/wiki">dynamic-graph - wiki</a> -</body> -</html> -- GitLab