Reset submodule main/applications/knemo to latest HEAD

pull/61/head
Slávek Banko 11 years ago
parent 3dcee28cf4
commit 512f861b53

@ -1 +1 @@
Subproject commit e81c9eca71b10268130c977306df01268115c4f1
Subproject commit 7b9e62833018e4fabc532cdbe95ad8cf806594a8
Loading…
Cancel
Save