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/run_make.mk | |
| 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/run_make.mk')
0 files changed, 0 insertions, 0 deletions