From 38a24c5df0596a9138710ad8f2454a145253de27 Mon Sep 17 00:00:00 2001
From: Jean-Philippe Orsini <jeanfi@gmail.com>
Date: Mon, 11 Jul 2016 15:18:30 +0200
Subject: [PATCH] removed useless file

---
 src/news/docinfo.html | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 src/news/docinfo.html

diff --git a/src/news/docinfo.html b/src/news/docinfo.html
deleted file mode 100644
index de6e343..0000000
--- a/src/news/docinfo.html
+++ /dev/null
@@ -1,2 +0,0 @@
-<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js"></script>
-<script src="../nav.js"></script>
-- 
2.7.4