|
|
8a5b76510b
|
tools: Added yamllint for yaml files.
|
2018-05-31 11:54:52 +10:00 |
|
|
|
f414cc4a96
|
tools: Moved TOOLS_FOR_EXTENSIONS into tools.toml
- Now a tool can be added/removed by editing one file.
|
2018-05-18 13:04:08 +10:00 |
|
|
|
915eac35ba
|
tools: Changed to toml instead of yaml.
- toml is simpler than yaml and popular enough.
|
2018-05-17 16:16:21 +10:00 |
|
