From fbbca37b5525863268358e3d0b3fc4ef5bcb531f Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Fri, 20 Apr 2018 19:51:56 +0200
Subject: [PATCH] Ignore a*.dat file too.

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

diff --git a/.gitignore b/.gitignore
index 2484096a..6ab950dd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -36,3 +36,4 @@ depend
 
 # Others
 other/
+a*.dat