From 295107103aaa86db8a31abb0e410123212648d45 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Wed, 22 Mar 2017 11:24:27 +0100
Subject: BigNums: remove files about BigN,BigZ,BigQ (now in an separate git
 repo)

 See now https://github.com/coq/bignums
 Int31 is still in the stdlib.
 Some proofs there has be adapted to avoid the need for BigNumPrelude.
---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index e52091ee2..db12a9de2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -150,7 +150,6 @@ plugins/ssr/ssrvernac.ml
 kernel/byterun/coq_jumptbl.h
 kernel/copcodes.ml
 tools/tolink.ml
-theories/Numbers/Natural/BigN/NMake_gen.v
 ide/index_urls.txt
 .lia.cache
 checker/names.ml
-- 
cgit v1.2.3