Skip to content

Commit 68eb743

Browse files
authored
Merge pull request #1222 from EdNutting/fix-whitespace
Update `fix-whitespace` config file to match new version
2 parents 80e6710 + 82e4762 commit 68eb743

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

fix-whitespace.yaml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@ included-dirs:
33
- README
44

55
included-files:
6-
- "**.agda"
7-
- "**.md"
6+
- "*.agda"
7+
- "*.md"
88
- ".travis.yml"
99

1010
excluded-files:

0 commit comments

Comments
 (0)