From b91a0e341425505f9ff6bfe9de7899becb4a9e62 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Thu, 12 Sep 2024 18:40:38 +0200
Subject: [PATCH] restore LeanProject.lean

---
 demo/server/LeanProject/LeanProject.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/demo/server/LeanProject/LeanProject.lean b/demo/server/LeanProject/LeanProject.lean
index e69de29..99415d9 100644
--- a/demo/server/LeanProject/LeanProject.lean
+++ b/demo/server/LeanProject/LeanProject.lean
@@ -0,0 +1 @@
+def hello := "world"