From 814c16e348165cb19f70105dcf5d47e28f02c25e Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Fri, 30 Oct 2020 15:15:09 +0100
Subject: Add kernel/float64.ml to gitignore

This is a generated file since #13147
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index bdd692420f..aab1d1ede7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -155,6 +155,7 @@ kernel/byterun/coq_jumptbl.h
 kernel/genOpcodeFiles.exe
 kernel/vmopcodes.ml
 kernel/uint63.ml
+kernel/float64.ml
 ide/coqide/default.bindings
 ide/coqide/default_bindings_src.exe
 ide/coqide/index_urls.txt
-- 
cgit v1.2.3