diff options
author | aliou <aliou@users.noreply.github.com> | 2017-08-29 17:05:19 +0200 |
---|---|---|
committer | w0rp <w0rp@users.noreply.github.com> | 2017-08-29 16:05:19 +0100 |
commit | b36882e72e14673a62bcc129f00e58caa5f0c9d3 (patch) | |
tree | 2f2d2324c95de9f6b016bf4d164a0e31d8293ed2 /doc/ale-idris.txt | |
parent | 87fb72346ac2353000c987cbc24326301d95a343 (diff) | |
download | ale-b36882e72e14673a62bcc129f00e58caa5f0c9d3.zip |
Add support for prettier configuration file. (#886)
* Add support for prettier configuration file.
As of version 1.6.0, prettier allows passing a `--config` argument with
a path to a configuration file.
* Add test prettier configuration file.
* Add option to use local prettier configuration.
* Add description for new prettier option.
* Also check if the config is present before using it.
Diffstat (limited to 'doc/ale-idris.txt')
0 files changed, 0 insertions, 0 deletions