diff options
author | Siri Hansen <[email protected]> | 2017-06-28 17:40:08 +0200 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2017-06-29 15:19:18 +0200 |
commit | 15cfdd3c010d47b9c3ec6f7f59f738bb734b052b (patch) | |
tree | 97f1979b94a7a3a32bc6ea9fb38d8417b777e0b0 /lib/tools/obj/.gitignore | |
parent | 040bdce67f88d833bfb59adae130a4ffb4c180f0 (diff) | |
download | otp-15cfdd3c010d47b9c3ec6f7f59f738bb734b052b.tar.gz otp-15cfdd3c010d47b9c3ec6f7f59f738bb734b052b.tar.bz2 otp-15cfdd3c010d47b9c3ec6f7f59f738bb734b052b.zip |
[make] Do not use the interactive tool 'c' from make
Diffstat (limited to 'lib/tools/obj/.gitignore')
0 files changed, 0 insertions, 0 deletions