diff options
author | Nathaniel Waisbrot <[email protected]> | 2016-03-09 10:15:16 -0500 |
---|---|---|
committer | Nathaniel Waisbrot <[email protected]> | 2016-03-17 07:40:46 -0400 |
commit | 2c2d0028c8ac834c92b37c0ac7a1eb8e0e1e3c68 (patch) | |
tree | e2827b57011663cbbf1e781add4c0fc20e19f620 /plt/.gitignore | |
parent | cee5b753e8dbd294b2677f684c404d16dcfcd643 (diff) | |
download | otp-2c2d0028c8ac834c92b37c0ac7a1eb8e0e1e3c68.tar.gz otp-2c2d0028c8ac834c92b37c0ac7a1eb8e0e1e3c68.tar.bz2 otp-2c2d0028c8ac834c92b37c0ac7a1eb8e0e1e3c68.zip |
Remove references to old modules
mod_include was already gone in 18, and webtool is out in 19,
but some references remained in example config files.
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions