diff options
author | Björn Gustavsson <[email protected]> | 2017-05-08 10:46:12 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2017-05-08 10:46:12 +0200 |
commit | 0be5bebb76d8685f0ecb28f80928c7a3f3a4b3ed (patch) | |
tree | f46acef928e06dac39eb4ddf57f860c75c913922 /make | |
parent | 9ac8bdb19f55c593b8b4b10a5d72032e33bef406 (diff) | |
parent | 23dfc06144c42693ea92f6ab7e21d20d0cd6fec3 (diff) | |
download | otp-0be5bebb76d8685f0ecb28f80928c7a3f3a4b3ed.tar.gz otp-0be5bebb76d8685f0ecb28f80928c7a3f3a4b3ed.tar.bz2 otp-0be5bebb76d8685f0ecb28f80928c7a3f3a4b3ed.zip |
Merge pull request #1442 from bjorng/bjorn/compiler/fix-slim
Make 'slim' slim again
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions