From eac6a7118e0861707cb2d3fdbb960f714dfe5c46 Mon Sep 17 00:00:00 2001
From: Raito Bezarius <masterancpp@gmail.com>
Date: Wed, 21 Feb 2024 01:27:56 +0100
Subject: [PATCH] gitignore: add .lake and *.olean

They seem to be new temporary files (?).
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index a5b36d2..b7f7001 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,5 @@ lake-manifest.json
 /lean_packages/*
 !/lean_packages/manifest.json
 /lake-packages/*
+.lake
+*.olean