From 0418d6a17b1e5611e6afd643b86197bc142feec4 Mon Sep 17 00:00:00 2001 From: gumi Date: Sun, 21 Jan 2018 18:12:07 -0500 Subject: add gitlab-ci support --- tools | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools b/tools index d3f495b7..39ad32ff 160000 --- a/tools +++ b/tools @@ -1 +1 @@ -Subproject commit d3f495b75dbe1fb0d4c4fac54b3e0e8214940086 +Subproject commit 39ad32ff2226884613cd84babe2370f5c7cac71c -- cgit v1.2.3-60-g2f50