mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-11 08:55:23 +03:00
Convert tabs to spaces in stylish
This commit is contained in:
parent
25c94dfa92
commit
e7e9a7fc19
@ -132,10 +132,10 @@ steps:
|
||||
# - records: {}
|
||||
|
||||
# Replace tabs by spaces. This is disabled by default.
|
||||
# - tabs:
|
||||
- tabs:
|
||||
# # Number of spaces to use for each tab. Default: 8, as specified by the
|
||||
# # Haskell report.
|
||||
# spaces: 8
|
||||
spaces: 8
|
||||
|
||||
# Remove trailing whitespace
|
||||
- trailing_whitespace: {}
|
||||
|
Loading…
Reference in New Issue
Block a user