diff options
author | Rickard Green <[email protected]> | 2018-07-16 14:12:19 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2018-07-16 14:12:49 +0200 |
commit | 5eb18343591f69998099bd424362faa9d5a6a2e1 (patch) | |
tree | 7ca018c25edb7afd9496dc79315d4dcde5a2a1af /lib/.gitignore | |
parent | a0ae44f324576104760a63fe6cf63e0ca31756fc (diff) | |
download | otp-5eb18343591f69998099bd424362faa9d5a6a2e1.tar.gz otp-5eb18343591f69998099bd424362faa9d5a6a2e1.tar.bz2 otp-5eb18343591f69998099bd424362faa9d5a6a2e1.zip |
Remove undocumented and unused lazy configure
Diffstat (limited to 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions