From aa91f04778b11cc6b5e10ca6409dc356ca81e2a0 Mon Sep 17 00:00:00 2001
From: Kim Morrison <kim@tqft.net>
Date: Mon, 1 Jul 2024 12:29:11 +1000
Subject: [PATCH] chore: switch from lakefile.lean to lakefile.toml

---
 lakefile.lean | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 lakefile.lean

diff --git a/lakefile.lean b/lakefile.lean
deleted file mode 100644
index 1e77080..0000000
--- a/lakefile.lean
+++ /dev/null
@@ -1,4 +0,0 @@
-import Lake
-open Lake DSL
-package Qq
-@[default_target] lean_lib Qq