Reset submodule main/applications/knemo to latest HEAD

v3.5.13-sru
Slávek Banko 12 years ago
parent 282dd37cf5
commit 4efd54e05b

@ -1 +1 @@
Subproject commit 5054e15f621eb1bb9d31d2b0d8d20b5951a9c0d3
Subproject commit 7aea9cbcc519549adf71a59846bee4b87ed82436
Loading…
Cancel
Save