From 9ef95c9dffa6970bfca4475b20c55bc9f49c51ee Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Sun, 17 Dec 2017 15:49:51 +0100
Subject: [PATCH] chore(gitignore): ignore autogenerated version.lean file

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

diff --git a/.gitignore b/.gitignore
index dc632c7390..5dfbf57321 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,3 +18,4 @@ settings.json
 .gdb_history
 .vscode
 /*.nix
+/library/init/version.lean