From 81b7e97f0886724580b9585861f7206c82b6968e Mon Sep 17 00:00:00 2001 From: Liang-Ting Chen Date: Mon, 14 Oct 2019 21:49:34 +0100 Subject: [PATCH] Update README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 68c37cf..2244987 100644 --- 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: