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. -