From 987ce1d3cc511234b0ae8faa52f18a6245a8341b Mon Sep 17 00:00:00 2001
From: jao <jao@gnu.org>
Date: Wed, 3 May 2017 00:27:42 +0200
Subject: Avoiding travis badget in the web page

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 5acc083..e1bb15b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,4 @@
 .cabal-sandbox
 cabal.sandbox.config
 .stack-work
+/web/readme.md
-- 
cgit v1.2.3