1
0
Fork 0
mirror of synced 2024-11-26 17:25:35 -05:00

[prompt] lean: update submodule

This commit is contained in:
Matt Hamilton 2017-04-30 09:02:58 -07:00
parent 903e8aa24d
commit 60968c428d

@ -1 +1 @@
Subproject commit 4e33a1f6f7d5b145056a32e78ae74796d6aaf966 Subproject commit 2f7eaf6eecaf63e82d647f8743b31b493da4896c