From 951b6433487d106af98063c335e7f3335309b52c Mon Sep 17 00:00:00 2001
From: moruiris <53965900+moruiris@users.noreply.github.com>
Date: Fri, 4 Mar 2022 14:07:18 +0800
Subject: [PATCH] Create .config

---
 Lean/x86/.config | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 Lean/x86/.config

diff --git a/Lean/x86/.config b/Lean/x86/.config
new file mode 100644
index 0000000..8b13789
--- /dev/null
+++ b/Lean/x86/.config
@@ -0,0 +1 @@
+