From b0132d848e5806f71e73f26f9f5bc19185b64218 Mon Sep 17 00:00:00 2001 From: Carl Masak Date: Thu, 22 Nov 2018 10:13:19 +0100 Subject: [PATCH] Rename two bin/ scripts to have less generic names In the long run, the repl-007 script should probably not exist at all, but just be incorporated into the 007 script itself. --- bin/{lint => lint-007} | 0 bin/{repl => repl-007} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename bin/{lint => lint-007} (100%) rename bin/{repl => repl-007} (100%) diff --git a/bin/lint b/bin/lint-007 similarity index 100% rename from bin/lint rename to bin/lint-007 diff --git a/bin/repl b/bin/repl-007 similarity index 100% rename from bin/repl rename to bin/repl-007