Skip to content

Commit

Permalink
[ cleanup ] remove stale reference to travis.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
@gallais
gallais committed Oct 26, 2023
1 parent 8c055de commit dd6cf79
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion fix-whitespace.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,6 @@ included-dirs:
included-files:
- "*.agda"
- "*.md"
- ".travis.yml"

excluded-files:
- "README/Text/Tabular.agda"
Expand Down

0 comments on commit dd6cf79

Please sign in to comment.