diff options
author | Björn Gustavsson <[email protected]> | 2014-06-13 12:31:08 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2014-06-13 12:31:08 +0200 |
commit | 708430b92ff48faa5e0c821dfca520968551a71f (patch) | |
tree | 65f824a72d38e24435a684473d6583efe26b16d3 /lib/.gitignore | |
parent | c9e36ab16034bb7fe71f772df6bba22070976bbf (diff) | |
download | otp-708430b92ff48faa5e0c821dfca520968551a71f.tar.gz otp-708430b92ff48faa5e0c821dfca520968551a71f.tar.bz2 otp-708430b92ff48faa5e0c821dfca520968551a71f.zip |
Remove documentation and stub for non-exist file:file_info/1
file:file_info/1 was removed a long time ago, but its
documentation was not removed.
Diffstat (limited to 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions