From e86acb68a77fd3ed500d6155147c0abb0e51fb38 Mon Sep 17 00:00:00 2001 From: Ivan Kohler Date: Thu, 16 Nov 2017 12:41:52 -0800 Subject: [PATCH] new git tools --- developers.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/developers.html b/developers.html index d1ce916..ef5bb8f 100644 --- a/developers.html +++ b/developers.html @@ -49,9 +49,9 @@ Git Developer mailing list