From 5fb9356eca8a6ff594af87cf85def1d78f82ac1c Mon Sep 17 00:00:00 2001 From: Adam Feuer Date: Mon, 6 Jul 2020 12:28:52 -0700 Subject: [PATCH] changing script name to match checkpatch.sh - as per PR feedback --- tools/{check-nuttx-release.sh => checkrelease.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tools/{check-nuttx-release.sh => checkrelease.sh} (100%) diff --git a/tools/check-nuttx-release.sh b/tools/checkrelease.sh similarity index 100% rename from tools/check-nuttx-release.sh rename to tools/checkrelease.sh