summaryrefslogtreecommitdiff
path: root/doc/ale-idris.txt
diff options
context:
space:
mode:
authoraliou <aliou@users.noreply.github.com>2017-08-29 17:05:19 +0200
committerw0rp <w0rp@users.noreply.github.com>2017-08-29 16:05:19 +0100
commitb36882e72e14673a62bcc129f00e58caa5f0c9d3 (patch)
tree2f2d2324c95de9f6b016bf4d164a0e31d8293ed2 /doc/ale-idris.txt
parent87fb72346ac2353000c987cbc24326301d95a343 (diff)
downloadale-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