From 7c206b256e664ad9dc162e6e046c338b4dfd4013 Mon Sep 17 00:00:00 2001 From: "r.kuznetsov" Date: Tue, 14 Feb 2017 12:47:18 +0300 Subject: [PATCH] Updated kothic version --- tools/kothic | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/kothic b/tools/kothic index 027fcfda67..17d84174bf 160000 --- a/tools/kothic +++ b/tools/kothic @@ -1 +1 @@ -Subproject commit 027fcfda67c5860a6236425804efbbb9deb79b82 +Subproject commit 17d84174bf52bcb42cf53d62506f251862f4aa10