[prompt] lean: update submodule
This commit is contained in:
parent
ca129aa00c
commit
1073feb097
1 changed files with 1 additions and 1 deletions
|
@ -1 +1 @@
|
|||
Subproject commit 3247b1d503056b640d674fe75af524259be142c9
|
||||
Subproject commit 81d5640ca351b245fab7e22fbbbea0a106012464
|
Loading…
Reference in a new issue