[prompt] lean: update submodule
This commit is contained in:
parent
269f8399d2
commit
9d9b6c2ec9
1 changed files with 1 additions and 1 deletions
|
@ -1 +1 @@
|
||||||
Subproject commit b2e1d7b24d7786bc079a0979b1507ab9baa5cb87
|
Subproject commit 4e33a1f6f7d5b145056a32e78ae74796d6aaf966
|
Loading…
Reference in a new issue