Reset submodule main/applications/knemo to latest HEAD

v3.5.13-sru
Slávek Banko 12 years ago
parent 15a3895e8b
commit dd605bab17

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