Skip to content

Commit

Permalink
Merge branch 'dev'
Browse files Browse the repository at this point in the history
  • Loading branch information
@herumi
herumi committed Sep 3, 2024
2 parents 6ace84b + 2102711 commit fe1b0c3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/bls
Submodule bls updated 2 files
+6 −2 Makefile.onelib
+1 −1 mcl

0 comments on commit fe1b0c3

Please sign in to comment.