diff options
| author | Fred Hebert <mononcqc@ferd.ca> | 2016-07-11 18:11:35 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-11 18:11:35 -0400 |
| commit | 47380929c4ba5c1e02a1bf109b7fb2f228bf6072 (patch) | |
| tree | ff8df09d7639bf8d03d839d4c7b5efe2e6625c27 /.gitignore | |
| parent | 403d33830732a6874931afb9c80bff4cb8e327f8 (diff) | |
| parent | 941048dce7b0fab65ee8a07828bbc8c5e2034841 (diff) | |
Merge pull request #1265 from fishcakez/avoid-rebuild
Avoid PLT rebuild when files deleted on new dialyzer
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions