From e3b79544be53801e1cf0228ba635adbf2880ad8a Mon Sep 17 00:00:00 2001 From: Sergey Sharybin Date: Fri, 15 Jul 2016 15:12:28 +0200 Subject: Re-initialize source/tools submodule --- source/tools | 1 + 1 file changed, 1 insertion(+) create mode 160000 source/tools diff --git a/source/tools b/source/tools new file mode 160000 index 00000000000..373945d0978 --- /dev/null +++ b/source/tools @@ -0,0 +1 @@ +Subproject commit 373945d0978b6601c55c9d5879e0f488b18515cd -- cgit v1.2.3