diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-12-04T12·18+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-12-04T12·19+0100 |
commit | f1efb97075d301c05f5fe974b9234f2920e83c27 (patch) | |
tree | ff4962c1f6a47c422b35790d0c437a63d9cbc652 /local.mk | |
parent | cd74a55afc31638940d5b6a011afc3a4ebedec9d (diff) |
Fix #1635.
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions