We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6e11a01 commit 81b7e97Copy full SHA for 81b7e97
README.md
@@ -1,13 +1,13 @@
1
-fix-agda-whitespace: Fixes whitespace issues. [](https://travis-ci.org/agda/fix-whitespace)
+fix-whitespace: Fixes whitespace issues. [](https://travis-ci.org/agda/fix-whitespace)
2
---------------------------------------------
3
4
-Usage: `fix-agda-whitespace [--check]`
+Usage: `fix-whitespace [--check]`
5
6
This program should be run in the base directory.
7
8
The program does the following for every file listed in
9
10
-`fix-agda-whitespace.yaml`
+`fix-whitespace.yaml`
11
12
under the current directory:
13
0 commit comments