diff options
| author | Loïc Hoguin <[email protected]> | 2017-07-10 12:07:12 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2017-07-10 12:11:51 +0200 |
| commit | ff271594f58dc7425483fe3ccc649defc552a04c (patch) | |
| tree | 745f11680e61bd1c74920923fc6d7e2b36c225eb /index/worker_pool.mk | |
| parent | 70b86284812e46c4a3a607aacaec67af2453fff0 (diff) | |
| download | erlang.mk-ff271594f58dc7425483fe3ccc649defc552a04c.tar.gz erlang.mk-ff271594f58dc7425483fe3ccc649defc552a04c.tar.bz2 erlang.mk-ff271594f58dc7425483fe3ccc649defc552a04c.zip | |
Add initial plugin for proper
Should act the same way as the Triq plugin, making switching
mostly painless, excluding the differences between the two
libraries.
Diffstat (limited to 'index/worker_pool.mk')
0 files changed, 0 insertions, 0 deletions