diff options
author | Tristan Sloughter <tristan.sloughter@gmail.com> | 2015-07-01 17:21:49 -0500 |
---|---|---|
committer | Tristan Sloughter <tristan.sloughter@gmail.com> | 2015-07-01 17:21:49 -0500 |
commit | 74c124bdd00f011e701658a8ca196d1fd5c66a85 (patch) | |
tree | 6da2ef6570bece72ca9055661b16b46caef2fc5a /src/rebar_prv_compile.erl | |
parent | a57afa0e571a0f554aecb30483b8bdd42539f67c (diff) | |
parent | 77a85b4a6899a22a132a9965fd0f4815655da890 (diff) |
Merge pull request #583 from talentdeficit/remove_cover_print_enabled
remove `cover_print_enabled` and `cover_data_dir` config options and replace with `cover_opts`
Diffstat (limited to 'src/rebar_prv_compile.erl')
0 files changed, 0 insertions, 0 deletions