diff options
author | Björn Gustavsson <[email protected]> | 2016-05-18 10:03:01 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2016-05-18 10:03:01 +0200 |
commit | eed258eb615c1743f4630329abf96986ffaf28e8 (patch) | |
tree | b966a3dfc6728cf166917d44ee22df9241cb0fc4 /lib/stdlib/doc/src/erl_lint.xml | |
parent | b78057cdd586f105a2b265b35fc9119538d84388 (diff) | |
parent | cc59f962511733c5dfcb1be27a274f9298736006 (diff) | |
download | otp-eed258eb615c1743f4630329abf96986ffaf28e8.tar.gz otp-eed258eb615c1743f4630329abf96986ffaf28e8.tar.bz2 otp-eed258eb615c1743f4630329abf96986ffaf28e8.zip |
Merge branch 'bjorn/handle-bad-path/ERL-142'
* bjorn/handle-bad-path/ERL-142:
Tolerate bad directories in the code path
Diffstat (limited to 'lib/stdlib/doc/src/erl_lint.xml')
0 files changed, 0 insertions, 0 deletions