diff options
| author | Björn Gustavsson <[email protected]> | 2011-09-05 09:17:14 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2011-11-24 15:17:51 +0100 |
| commit | 04d1fc553183c020bee29db6d3e2af8dc5b7053a (patch) | |
| tree | d89bd976909e086b79af6155ecc5af3fef05c4f8 /lib/kernel/doc/src/erl_ddll.xml | |
| parent | 02c4d9a4a08ebb511833539e3937593fb956a6c9 (diff) | |
| download | otp-04d1fc553183c020bee29db6d3e2af8dc5b7053a.tar.gz otp-04d1fc553183c020bee29db6d3e2af8dc5b7053a.tar.bz2 otp-04d1fc553183c020bee29db6d3e2af8dc5b7053a.zip | |
filename.erl:filter_options/1: Remove handling of dead options
The 'trace' and 'fast' options are no longer supported.
While at it, correct the comment about option filtering.
Diffstat (limited to 'lib/kernel/doc/src/erl_ddll.xml')
0 files changed, 0 insertions, 0 deletions