From 662017026f1cb0a50bc28cb32e4b5806dfbdb552 Mon Sep 17 00:00:00 2001 From: Eitan Adler Date: Wed, 27 May 2020 00:18:33 -0700 Subject: [PATCH] [checkstyle] Switch to new DTD (#1940) The location for the checkstyle DTD has moved. --- config/checkstyle/checkstyle.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config/checkstyle/checkstyle.xml b/config/checkstyle/checkstyle.xml index b000ccb311..850e3c8ec8 100644 --- a/config/checkstyle/checkstyle.xml +++ b/config/checkstyle/checkstyle.xml @@ -1,7 +1,7 @@ + "https://checkstyle.org/dtds/configuration_1_2.dtd">