Fix the comment.

google · Aug 23, 2017 · 81e7abc · 81e7abc
1 parent 9637f37
commit 81e7abc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/batch_delete b/tools/batch_delete
@@ -13,7 +13,7 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
-# See delete_old_entries.py for details.
+# See batch_delete.py for details.
 
 pushd "$(dirname $0)" >/dev/null && source common.sh && popd >/dev/null