diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-12-13T09·17+0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-13T09·17+0100 |
commit | 522cebdef427bb8aad0f3ca140deff2e8bb88017 (patch) | |
tree | 10d9fdd743e6b2341aca3a66c28978773aa47047 /local.mk | |
parent | 800cd55ab74fffe9a1d212c2b8caf4024ebd98b6 (diff) | |
parent | 21d494da8304aa496721c7695573b9ad796a30be (diff) |
Merge pull request #2578 from volth/patch-5
probably typo
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions