diff options
| author | James Fish <james@fishcakez.com> | 2015-03-05 14:10:09 +0000 |
|---|---|---|
| committer | James Fish <james@fishcakez.com> | 2015-03-05 14:19:08 +0000 |
| commit | 7f60448d333b2fa78de2de14f0f047eb12116bc9 (patch) | |
| tree | 702fb223a17f7dae3bc35f84d2932ff395354464 /priv/shell-completion/bash | |
| parent | 5f773d7adf738a1dbfdb9c047952477007d70ad3 (diff) | |
Change default project PLT location to base directory
Previously dialyzer stored the project PLT in ./build/, which meant the
same PLT was used for all profiles. This could mean partial rebuilding
of a PLT when switching between profiles.
Diffstat (limited to 'priv/shell-completion/bash')
0 files changed, 0 insertions, 0 deletions