diff options
| author | Björn Gustavsson <[email protected]> | 2011-08-25 09:29:41 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2011-08-26 11:37:17 +0200 |
| commit | 4275ca6ecfa35554416bdb517999642b242e9776 (patch) | |
| tree | 659895bb3f9d5947646c0305e516fdb04aaa53f5 /plt/.gitignore | |
| parent | 631939c2452413014dfe3777997157ab541770ae (diff) | |
| download | otp-4275ca6ecfa35554416bdb517999642b242e9776.tar.gz otp-4275ca6ecfa35554416bdb517999642b242e9776.tar.bz2 otp-4275ca6ecfa35554416bdb517999642b242e9776.zip | |
code: Optimize purge/1 and soft_purge/1 using check_old_code/1
While at it, eliminate an unnecessary use of throw/catch in the
implementation of soft_purge/1.
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions