diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-22T19·32+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-22T19·32+0200 |
commit | 1b01954a3de482a8c3cf0a4af8796505ebcf521b (patch) | |
tree | 156984b87a442b2f375bbc55e5ac46a1f3e45fd8 /mk/dist.mk | |
parent | 954d1f4d0a35063ff431b258beebadf753cb9efe (diff) | |
parent | 2894197de768bf5433595886d0248e77ffa3c693 (diff) |
Merge pull request #2368 from dezgeg/drop-dead-code
Drop dead code
Diffstat (limited to 'mk/dist.mk')
0 files changed, 0 insertions, 0 deletions