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.
masak · Nov 22, 2018 · b0132d8 · b0132d8
1 parent 63d2b03
commit b0132d8
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/bin/lint → bin/lint-007 b/bin/lint → bin/lint-007
diff --git a/bin/repl → bin/repl-007 b/bin/repl → bin/repl-007