From 8e50f654329b71a1839a7435a89d4df768f8406f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Tue, 18 Apr 2017 10:38:07 +0200
Subject: [PATCH] add flags file to gitinore.

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

diff --git a/.gitignore b/.gitignore
index 6902bbf..e3a6b7e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,3 +25,4 @@ tests/xmark*.xml
 tests/xmark*.xml.queries
 
 
+*.flags
-- 
2.17.1