Create .config

This commit is contained in:
moruiris
2022-03-04 14:07:18 +08:00
committed by GitHub
parent 4eb3e8fa40
commit 951b643348

1
Lean/x86/.config Normal file
View File

@ -0,0 +1 @@