diff options
| author | Björn Gustavsson <[email protected]> | 2017-12-13 12:54:26 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-12-13 12:54:26 +0100 |
| commit | de17c1f86974de21f0a3b1ba53c2d2b7774740de (patch) | |
| tree | c32d385a51715e40d62c42af401aa42f5952ee6b /system | |
| parent | 7e0d632c9635cb2cd7f635291a9c331612400334 (diff) | |
| parent | 2fb94bbae9b3ebf6bbd5b0ba3546450036764383 (diff) | |
| download | otp-de17c1f86974de21f0a3b1ba53c2d2b7774740de.tar.gz otp-de17c1f86974de21f0a3b1ba53c2d2b7774740de.tar.bz2 otp-de17c1f86974de21f0a3b1ba53c2d2b7774740de.zip | |
Merge pull request #1654 from bjorng/bjorn/kernel/file_io_server
Slightly optimize reading of cooked files in list mode
Diffstat (limited to 'system')
0 files changed, 0 insertions, 0 deletions