[prompt] lean: update submodule
This commit is contained in:
parent
0e56fa4901
commit
7da3437b3f
1 changed files with 1 additions and 1 deletions
|
@ -1 +1 @@
|
|||
Subproject commit 0ccf0c34ac23fe86a69f78a960d5b340b0f4c880
|
||||
Subproject commit aed0ef17b4a98e60174fcca0facadec3c8310ec3
|
Loading…
Reference in a new issue