diff options
author | Jose M Perez <jose.m.perez.ramos+git@gmail.com> | 2019-04-02 11:06:03 +0200 |
---|---|---|
committer | Jose M Perez <jose.m.perez.ramos+git@gmail.com> | 2019-04-02 11:06:03 +0200 |
commit | 1eff250fe63e04c6bc991f9524e498a10c183b4f (patch) | |
tree | 00bf1565e0d8335632711ae0375fb527bf89dc14 /.github | |
parent | ff65877f84e09edf47a699c4556da8802d3665a7 (diff) |
Use maps syntax for OTP 17 in deps cmd
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions