From dbffbe71bd0437ff069b1c13720d7400170959a9 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Wed, 13 Nov 2019 17:24:38 +0100
Subject: Update .gitignore after #11092

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

diff --git a/.gitignore b/.gitignore
index a1c0dc774e..6c117028a9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -55,6 +55,7 @@ _build
 config/Makefile
 config/coq_config.ml
 config/coq_config.py
+config/dune.c_flags
 config/Info-*.plist
 dev/ocamldebug-coq
 plugins/micromega/csdpcert
@@ -152,7 +153,6 @@ plugins/ssr/ssrvernac.ml
 
 # other auto-generated files
 
-kernel/byterun/dune.c_flags
 kernel/byterun/coq_instruct.h
 kernel/byterun/coq_jumptbl.h
 kernel/genOpcodeFiles.exe
-- 
cgit v1.2.3