rename format_everything to format

jayconrod · Jun 10, 2017 · 75603c1 · 75603c1
1 parent d26d58a
commit 75603c1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/tools/BUILD b/tools/BUILD
@@ -1,9 +1,9 @@
 py_binary(
-    name = "format_everything",
+    name = "format",
     srcs = [
-        "format_everything.py",
+        "format.py",
         "rewriter.py",
     ],
-    main = "format_everything.py",
+    main = "format.py",
     deps = ["//gypsum"],
 )
diff --git a/tools/format_everything.py → tools/format.py b/tools/format_everything.py → tools/format.py