Update lean prompt
This commit is contained in:
parent
4f6ae96b12
commit
e1a18e3271
|
@ -1 +1 @@
|
|||
Subproject commit 3cf61b240d0bb0e3d1c517d2324534ddbf3614e8
|
||||
Subproject commit f67f414e4c8317811fdd6c4f93b4cfe7962ede13
|
Loading…
Reference in a new issue