From: Jean-Philippe Orsini <jeanfi@gmail.com>
Date: Mon, 11 Jul 2016 13:18:30 +0000 (+0200)
Subject: removed useless file
X-Git-Url: http://git.wpitchoune.net/gitweb/?p=www.git;a=commitdiff_plain;h=38a24c5df0596a9138710ad8f2454a145253de27

removed useless file
---

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>