From 414225093054f0fdd9222e0ba9fbb95d345f5457 Mon Sep 17 00:00:00 2001
From: Markus Pister <pister@absint.com>
Date: Wed, 28 Jun 2017 07:30:14 +0200
Subject: Update git ignore spec

ignore generated directory additional_files

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 4d19db5d..2918be06 100644
--- a/.gitignore
+++ b/.gitignore
@@ -27,6 +27,7 @@ _CoqProject
 # Generated files
 .depend
 .depend.extr
+additional_files
 compcert.ini
 x86/ConstpropOp.v
 x86/SelectOp.v
-- 
cgit