Update README.md

agda · Oct 14, 2019 · 81b7e97 · 81b7e97
1 parent 6e11a01
commit 81b7e97
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -1,13 +1,13 @@
-fix-agda-whitespace: Fixes whitespace issues. [![Build Status](https://travis-ci.org/agda/fix-whitespace.svg?branch=master)](https://travis-ci.org/agda/fix-whitespace)
+fix-whitespace: Fixes whitespace issues. [![Build Status](https://travis-ci.org/agda/fix-whitespace.svg?branch=master)](https://travis-ci.org/agda/fix-whitespace)
 ---------------------------------------------
 
-Usage: `fix-agda-whitespace [--check]`
+Usage: `fix-whitespace [--check]`
 
 This program should be run in the base directory.
 
 The program does the following for every file listed in
 
-`fix-agda-whitespace.yaml`
+`fix-whitespace.yaml`
 
 under the current directory: