From 80824622efd18b59a8dfac18548565d3f5b07691 Mon Sep 17 00:00:00 2001 From: Simon Brandhof Date: Wed, 8 Oct 2014 11:42:51 +0200 Subject: [PATCH] Rename tool scripts --- debug.sh => debug-server.sh | 0 jacoco_build.sh => jacoco-build.sh | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename debug.sh => debug-server.sh (100%) rename jacoco_build.sh => jacoco-build.sh (100%) diff --git a/debug.sh b/debug-server.sh similarity index 100% rename from debug.sh rename to debug-server.sh diff --git a/jacoco_build.sh b/jacoco-build.sh similarity index 100% rename from jacoco_build.sh rename to jacoco-build.sh -- 2.39.5