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

---
 lakefile.toml | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 lakefile.toml

diff --git a/lakefile.toml b/lakefile.toml
new file mode 100644
index 0000000..2c3e991
--- /dev/null
+++ b/lakefile.toml
@@ -0,0 +1,5 @@
+name = "Qq"
+defaultTargets = ["Qq"]
+
+[[lean_lib]]
+name = "Qq"