Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
stefan-aws committed Aug 16, 2024
1 parent 8b8a158 commit c3cd1cc
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .gitmodules
Original file line number Diff line number Diff line change
Expand Up @@ -6,4 +6,5 @@
url = https://github.com/IBM/differential-privacy-library/
[submodule "SampCert"]
path = SampCert
url = https://github.com/leanprover/SampCert
url = https://github.com/leanprover/SampCert
branch = v1.1.0

0 comments on commit c3cd1cc

Please sign in to comment.