diff options
| author | Loïc Hoguin <[email protected]> | 2016-10-25 20:27:06 +0300 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2016-10-25 20:27:06 +0300 |
| commit | 2a8d20376fd601c0c159d763513208690cebc76f (patch) | |
| tree | 0dc998351ab9da6b11d189d8fcb17b5c4686e426 /index/covertool.mk | |
| parent | ce741ddc9ce7e25869ffce512cf74fbe5d8dc339 (diff) | |
| download | erlang.mk-2a8d20376fd601c0c159d763513208690cebc76f.tar.gz erlang.mk-2a8d20376fd601c0c159d763513208690cebc76f.tar.bz2 erlang.mk-2a8d20376fd601c0c159d763513208690cebc76f.zip | |
Use the ERLANG_MK_TMP variable in plugins/ci.mk
Diffstat (limited to 'index/covertool.mk')
0 files changed, 0 insertions, 0 deletions