GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-17 17:09:35 +03:00
Code Issues Projects Releases Wiki Activity

Bump argo for doc migration

Browse Source
This commit is contained in:
Chris Phifer 2020-12-02 10:18:46 -06:00
parent 1c4b6eb3be
commit 1e8a8efa0b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
deps/argo vendored

@ -1 +1 @@
Subproject commit 5ffd2818f769f118a15d0e86a1fdb0c99893c444
Subproject commit 5217d1da928a5d1902186db991dacb047d1da5d7