Reset submodule main/applications/knemo/cmake to latest HEAD

8 years ago · 5d58bc08aa
parent 8a925c6de5
commit 5d58bc08aa
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit 9773bff74aa09637c11dc0ca65ad4cf18f308fe8
+Subproject commit 5d19f23805e8cdb327b280ab87d8138781fc1143