1
0
Fork 0
mirror of synced 2024-06-02 15:21:11 -04:00

[prompt] lean: update submodule

Closes #110
This commit is contained in:
Matt Hamilton 2016-12-11 09:48:41 -08:00
parent 081e4f30d0
commit 02a68bea57

@ -1 +1 @@
Subproject commit aed0ef17b4a98e60174fcca0facadec3c8310ec3 Subproject commit 3247b1d503056b640d674fe75af524259be142c9