From f381b1d86b2bd8614ac71857c961474fe14abb82 Mon Sep 17 00:00:00 2001 From: rusEfi Date: Sun, 3 Dec 2017 17:52:40 -0500 Subject: [PATCH] better file names --- misc/install/{run_openocd.bat => run_openocd_new_board.bat} | 0 .../{run_openocd_original.bat => run_openocd_old_board.bat} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename misc/install/{run_openocd.bat => run_openocd_new_board.bat} (100%) rename misc/install/{run_openocd_original.bat => run_openocd_old_board.bat} (100%) diff --git a/misc/install/run_openocd.bat b/misc/install/run_openocd_new_board.bat similarity index 100% rename from misc/install/run_openocd.bat rename to misc/install/run_openocd_new_board.bat diff --git a/misc/install/run_openocd_original.bat b/misc/install/run_openocd_old_board.bat similarity index 100% rename from misc/install/run_openocd_original.bat rename to misc/install/run_openocd_old_board.bat