From 048df07c729ec6544b5bf1b9248dd6341fabb503 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 28 Jun 2017 13:57:15 +0200
Subject: Revert "Update git ignore spec"

This reverts commit 414225093054f0fdd9222e0ba9fbb95d345f5457.
---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

(limited to '.gitignore')

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