diff options
| author | Anders Svensson <[email protected]> | 2017-04-28 23:18:20 +0200 |
|---|---|---|
| committer | Anders Svensson <[email protected]> | 2017-06-13 13:50:06 +0200 |
| commit | 494659c32e042937b040f2579a46ec69980ded3a (patch) | |
| tree | bb7c9c06818f842a091e0ea34e32ce1e57db1354 /plt | |
| parent | 4bfccba1943a21b1f723607f5b8e25773e48d98d (diff) | |
| download | otp-494659c32e042937b040f2579a46ec69980ded3a.tar.gz otp-494659c32e042937b040f2579a46ec69980ded3a.tar.bz2 otp-494659c32e042937b040f2579a46ec69980ded3a.zip | |
Avoid recreating records
As in the parent commit, recreating the options record is relatively
costly.
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions