Skip to content

Commit

Permalink
Update extern/solver subproject commit hash
Browse files Browse the repository at this point in the history
  • Loading branch information
@riccardodebenedictis
riccardodebenedictis committed Nov 12, 2024
1 parent 19b7eeb commit 06673a7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion extern/solver
Submodule solver updated 2 files
+1 −1 extern/riddle
+110 −1 tests/CMakeLists.txt

0 comments on commit 06673a7

Please sign in to comment.