1
0
Fork 0
mirror of synced 2024-05-24 11:10:30 -04:00

[prompt] lean: update submodule

This commit is contained in:
Matt Hamilton 2017-01-21 08:23:43 -08:00
parent dcc066c1fa
commit bf5e3a8c6b

@ -1 +1 @@
Subproject commit 81d5640ca351b245fab7e22fbbbea0a106012464
Subproject commit b2e1d7b24d7786bc079a0979b1507ab9baa5cb87