From dd83c0f427cbde4698d036533a15d1bc2e7f18fe Mon Sep 17 00:00:00 2001 From: "Jonathan \"Duke\" Leto" Date: Mon, 19 Sep 2022 06:20:41 -0700 Subject: [PATCH] Remove contrib/devtools/ --- contrib/devtools/README.md | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 contrib/devtools/README.md diff --git a/contrib/devtools/README.md b/contrib/devtools/README.md deleted file mode 100644 index 02694f222..000000000 --- a/contrib/devtools/README.md +++ /dev/null @@ -1,4 +0,0 @@ -# Contrib Devtools - -This directory contains tools for developers working on this repository. -